{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0007246164,0.0005032636,0.0004288109,0.0008492988,0.000265939,0.0007875478,0.001934662,0.0002691075,0.00002713732],"category_scores_gemma":[0.0001480973,0.0004093638,0.00007005448,0.000847154,0.0007147633,0.0007639736,0.0005332227,0.001038134,0.00001257909],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003724274,"about_ca_system_score_gemma":0.001095284,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003474337,"about_ca_topic_score_gemma":0.0002261029,"domain_scores_codex":[0.9965805,0.00002964351,0.0004754818,0.001376206,0.0009849496,0.0005532595],"domain_scores_gemma":[0.9976323,0.0004229177,0.0002363558,0.001024906,0.0005212463,0.0001622751],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003969676,0.00002368395,0.00005449621,0.0000210351,0.0000044296,0.00002118385,0.0004636114,0.03228461,0.0001445923,0.04747338,0.000001826179,0.9195032],"study_design_scores_gemma":[0.0002676837,0.0005236288,0.0003995722,0.001124131,0.00000941808,0.0001916178,4.844527e-7,0.942137,0.001723727,0.05217234,0.0005025173,0.0009478915],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0000248907,0.00003527549,0.9896952,0.0007231914,0.0002623045,0.000585535,0.000003597564,0.0003769357,0.008293103],"genre_scores_gemma":[0.1070557,0.00001836442,0.8916838,0.0008490069,0.0001408442,0.00001009778,0.000005483058,0.00002216937,0.0002145776],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9185553,"threshold_uncertainty_score":0.9998358,"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."}}