{"id":"W1495927311","doi":"10.1007/978-3-642-02777-2_35","title":"VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search","year":2009,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Heuristics; Backtracking; DPLL algorithm; Probabilistic logic; Inference; Local consistency; Constraint satisfaction problem; Solver; Heuristic; Random variable; Theoretical computer science; Variable (mathematics); Algorithm; Mathematical optimization; Artificial intelligence; Mathematics","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.002157218,0.001361289,0.001576293,0.001381558,0.0008035455,0.002360052,0.005067732,0.001564544,0.01644702],"category_scores_gemma":[0.007284441,0.001432833,0.001698552,0.003093329,0.001186918,0.004997803,0.003455091,0.004136737,0.004571405],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001142284,"about_ca_system_score_gemma":0.001628748,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003101595,"about_ca_topic_score_gemma":0.00834599,"domain_scores_codex":[0.9978174,0.0006527904,0.0001276442,0.000455955,0.0008126076,0.0001335242],"domain_scores_gemma":[0.9974735,0.001579142,0.0001179011,0.0005388918,0.0002400116,0.00005047665],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001880075,0.0001982048,0.0003431852,0.0007149777,0.0001716023,0.0001338004,0.0001259498,0.1702875,0.004882865,0.1922566,0.03883615,0.5918611],"study_design_scores_gemma":[0.0000694637,0.00003520192,0.000105009,0.00006863537,0.00006250341,0.0001252804,0.00002341516,0.7253989,0.003996236,0.2484454,0.02163891,0.0000310186],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0009114226,0.0002840175,0.9907964,0.0002052369,0.00008581858,0.00004034746,0.0002779183,0.002901784,0.004496987],"genre_scores_gemma":[0.04975379,0.0005293228,0.9412734,0.0003209903,0.000171228,0.0001496593,0.001010459,0.001208882,0.005582268],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01644702,"threshold_uncertainty_score":0.05502075,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02008859681984074,"score_gpt":0.2617762860703002,"score_spread":0.2416876892504595,"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."}}