{"id":"W2966236725","doi":"","title":"On the Relationship Between Satisfiability and Markov Decision Processes.","year":2019,"lang":"en","type":"article","venue":"Uncertainty in Artificial Intelligence","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Satisfiability; Markov process; Markov chain; Markov decision process; Boolean satisfiability problem; Theoretical computer science; Algorithm; Mathematics; Machine learning; Statistics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008772957,0.001208526,0.001617196,0.002817507,0.001880435,0.003584576,0.002206313,0.003384005,0.007546131],"category_scores_gemma":[0.06889155,0.00115621,0.002016388,0.003030855,0.007513254,0.01217932,0.002916126,0.00657312,0.0006447457],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003493934,"about_ca_system_score_gemma":0.002647605,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009600471,"about_ca_topic_score_gemma":0.007417194,"domain_scores_codex":[0.99386,0.003277583,0.0005116569,0.0006933392,0.001094262,0.0005630919],"domain_scores_gemma":[0.8536227,0.1375387,0.003093553,0.002330023,0.002361009,0.001053852],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00005477062,0.00004124178,0.0006498409,0.0001580971,0.00009242943,0.0001442514,0.0002307775,0.02423026,0.0001262928,0.9624414,0.002461104,0.009369564],"study_design_scores_gemma":[0.000008072237,0.000009217122,0.00008639553,0.00003234782,0.00001222135,0.00002170816,0.0000220679,0.02204961,0.00004627508,0.9770228,0.0006806769,0.00000874847],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03102062,0.01567416,0.8847622,0.017142,0.0007247548,0.0001719183,0.0008980588,0.0002106176,0.04939575],"genre_scores_gemma":[0.7568874,0.0143995,0.2140318,0.003109745,0.001831227,0.0004363429,0.0009882154,0.0001441977,0.008171448],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009600471,"threshold_uncertainty_score":0.04639637,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0628719743448886,"score_gpt":0.3038967491543022,"score_spread":0.2410247748094136,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}