{"id":"W2472604154","doi":"","title":"Characterizing propagation methods for Boolean satisfiability","year":2006,"lang":"en","type":"article","venue":"","topic":"Hermeneutics and Narrative Identity","field":"Arts and Humanities","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Heuristics; Computer science; Belief propagation; Satisfiability; Equivalence (formal languages); Local consistency; Algorithm; Convergence (economics); Theoretical computer science; Mathematical optimization; Maximization; Boolean satisfiability problem; Constraint (computer-aided design); Constraint satisfaction problem; Mathematics; Artificial intelligence; Discrete mathematics; Probabilistic logic","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0004395368,0.00006798819,0.00009605281,0.00002915318,0.000264571,0.0001609409,0.00004518377,0.0000184409,0.001404088],"category_scores_gemma":[0.00003215533,0.00005446511,0.00005440454,0.00001285112,0.00006713809,0.0001826661,0.00001246469,0.00003393519,0.00002012717],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002509965,"about_ca_system_score_gemma":0.00001464101,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005404094,"about_ca_topic_score_gemma":0.00351038,"domain_scores_codex":[0.9994628,0.00005540425,0.0001758639,0.0001332276,0.0000486704,0.0001240673],"domain_scores_gemma":[0.9996607,0.00006539444,0.00005150672,0.00009173667,0.0001123358,0.000018301],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000007129816,0.00005230815,0.0006535339,0.00003109083,0.000007421836,8.382695e-8,0.0006868535,4.465803e-7,0.01294305,0.9564795,0.002152958,0.02698556],"study_design_scores_gemma":[0.0002476022,0.00007384973,0.01323031,0.000005868495,0.00001667005,2.608072e-7,0.0002559905,0.001314001,0.02106101,0.1013896,0.8622198,0.0001850362],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4981635,0.00004307268,0.05732118,0.002220432,0.001202876,0.001390517,0.00005147999,0.0002632648,0.4393437],"genre_scores_gemma":[0.9753825,8.337095e-7,0.004707156,0.0001790557,0.0005694866,0.00005522281,0.00003125766,0.000009588286,0.01906488],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8600668,"threshold_uncertainty_score":0.9995087,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04239254712992438,"score_gpt":0.3156773354897131,"score_spread":0.2732847883597888,"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."}}