{"id":"W2020154454","doi":"10.1145/2556646","title":"Constraint Satisfaction Problems Solvable by Local Consistency Methods","year":2014,"lang":"en","type":"article","venue":"Journal of the ACM","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":175,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"Narodowe Centrum Nauki; Grantová Agentura České Republiky; Ministerstvo Školství, Mládeže a Tělovýchovy","keywords":"Constraint satisfaction problem; Local consistency; Consistency (knowledge bases); Constraint (computer-aided design); Constraint satisfaction; Mathematics; Computer science; Weak consistency; Mathematical optimization; Discrete mathematics; Strong consistency; Statistics","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.005139999,0.001399969,0.001536759,0.001654157,0.001761537,0.003309875,0.005314791,0.001567008,0.0113546],"category_scores_gemma":[0.02791284,0.0009093415,0.0021037,0.002744591,0.003637148,0.008699419,0.00618017,0.005770674,0.001877381],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001337714,"about_ca_system_score_gemma":0.001801642,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001979824,"about_ca_topic_score_gemma":0.002983413,"domain_scores_codex":[0.9916672,0.003147523,0.0004053403,0.001851916,0.002121665,0.0008063253],"domain_scores_gemma":[0.961121,0.02662718,0.002331189,0.007327891,0.001856779,0.0007359929],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0005877318,0.0004997778,0.005716462,0.001461046,0.0003466892,0.0005457805,0.00114872,0.08757669,0.01181469,0.625686,0.01410128,0.2505151],"study_design_scores_gemma":[0.0001997701,0.0001444302,0.0005342817,0.0001221583,0.0001715827,0.0001933964,0.0002172681,0.4824812,0.01301857,0.4956824,0.007172257,0.0000626502],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02545973,0.0003287245,0.9617592,0.0007856917,0.00005364494,0.0001070355,0.0002224565,0.002061023,0.00922256],"genre_scores_gemma":[0.532428,0.0004373391,0.4551973,0.0006478455,0.0002827524,0.0008267915,0.0007962642,0.0007809419,0.008602746],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0113546,"threshold_uncertainty_score":0.03798491,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02909574141401513,"score_gpt":0.3354879927491539,"score_spread":0.3063922513351388,"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."}}