{"id":"W1578792929","doi":"10.1007/978-3-540-27775-0_22","title":"Arc-Consistency + Unit Propagation = Lookahead","year":2004,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Consistency (knowledge bases); Local consistency; Arc (geometry); Algorithm; Artificial intelligence; Mathematics; Geometry","routes":{"ca_aff":true,"ca_fund":true,"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.002863141,0.001765767,0.001434125,0.001235183,0.001357952,0.003339872,0.004163199,0.001966878,0.06486081],"category_scores_gemma":[0.01049125,0.001630882,0.002316275,0.002270768,0.001990607,0.01142021,0.00363885,0.004309115,0.01348183],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001246643,"about_ca_system_score_gemma":0.002635682,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004989698,"about_ca_topic_score_gemma":0.007244411,"domain_scores_codex":[0.9971809,0.0006980873,0.0001956473,0.0006363484,0.0008923479,0.0003965726],"domain_scores_gemma":[0.9900866,0.003541807,0.0003673378,0.004831529,0.001017061,0.0001557298],"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.0009327912,0.000348388,0.001130431,0.002305101,0.0001938944,0.0002395904,0.0002219266,0.03556047,0.01023512,0.2766933,0.1166073,0.5555318],"study_design_scores_gemma":[0.0003193753,0.0001322328,0.0006152775,0.0002530023,0.0003780996,0.0006526366,0.0001404886,0.1164709,0.03866635,0.7616124,0.08060396,0.0001554841],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01075255,0.00155295,0.8767301,0.003434244,0.001719281,0.0005220757,0.002869169,0.02808245,0.07433714],"genre_scores_gemma":[0.2116865,0.001796917,0.7049178,0.002009347,0.0007332287,0.0003653875,0.003629559,0.01203369,0.06282755],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.06486081,"threshold_uncertainty_score":0.2169811,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02226747484299367,"score_gpt":0.243468015069906,"score_spread":0.2212005402269124,"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."}}