{"id":"W1573717476","doi":"10.1007/3-540-47922-8_10","title":"Generalized Arc Consistency with Application to MaxCSP","year":2002,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University; University of Saskatchewan","funders":"","keywords":"Generalization; Heuristics; Computer science; Consistency (knowledge bases); Formalism (music); Local consistency; Algorithm; Mathematical optimization; Theoretical computer science; Applied mathematics; Mathematics; Artificial intelligence; Constraint satisfaction; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0002923186,0.0003898914,0.0003605699,0.000742169,0.0002268832,0.0003997531,0.001387679,0.0001817839,0.00008343161],"category_scores_gemma":[0.00003000679,0.0003437438,0.00006708639,0.0007486638,0.0003627993,0.0003751338,0.0003883647,0.0003663855,0.0001229674],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002442669,"about_ca_system_score_gemma":0.000288035,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002043131,"about_ca_topic_score_gemma":0.0001243979,"domain_scores_codex":[0.9971168,0.00002255866,0.0003911057,0.001294636,0.0007553607,0.0004195586],"domain_scores_gemma":[0.9980111,0.0001306512,0.0002090123,0.001149305,0.0002842554,0.0002156643],"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.000005344595,0.00001542431,0.00008574306,0.00001237517,0.000007558254,0.00002237983,0.0004120761,0.09775104,0.00009578234,0.0601684,0.00003499593,0.8413889],"study_design_scores_gemma":[0.000506472,0.0002192451,0.0004440651,0.000210293,0.00001176433,0.0001623204,1.390003e-7,0.9571117,0.0005729249,0.03218069,0.007648987,0.0009313633],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00002758144,0.00008261674,0.9887778,0.001967361,0.0004787649,0.0006087101,0.000003484682,0.0002028014,0.007850941],"genre_scores_gemma":[0.08057329,0.00003604717,0.9148819,0.003359839,0.0001938699,0.00003319488,0.000007241541,0.0000304365,0.0008841854],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8593607,"threshold_uncertainty_score":0.9999015,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01314585926906021,"score_gpt":0.2248003671819673,"score_spread":0.2116545079129071,"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."}}