{"id":"W2152906186","doi":"10.1017/s147106840500236x","title":"A CHR-based implementation of known arc-consistency","year":2005,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"European Commission; Canadian Patient Safety Institute","keywords":"Local consistency; Computer science; Constraint satisfaction problem; Constraint satisfaction; Constraint logic programming; Constraint (computer-aided design); Consistency (knowledge bases); Constraint programming; Solver; Extension (predicate logic); Domain (mathematical analysis); Obsolescence; Programming language; Theoretical computer science; Process (computing); Mathematical optimization; Artificial intelligence; Mathematics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001625469,0.00006801859,0.0001050351,0.00007684382,0.00006831531,0.00003434873,0.0001081448,0.00003028807,0.00007136279],"category_scores_gemma":[0.0003552127,0.00006142981,0.00003181774,0.0001731572,0.00009201096,0.0006329861,0.0000361831,0.00006063676,0.000001999535],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001035827,"about_ca_system_score_gemma":0.00006862736,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001441575,"about_ca_topic_score_gemma":0.000009157323,"domain_scores_codex":[0.9990759,0.0003169816,0.0002458395,0.0001403089,0.0001163607,0.0001046447],"domain_scores_gemma":[0.9984817,0.0009138409,0.0003062227,0.0001544907,0.000109598,0.00003418526],"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.00005161009,0.00005800684,0.0001302182,0.00001973333,0.00001075195,7.490373e-7,0.0006038233,0.00008977704,0.0004635085,0.3028919,0.000002272028,0.6956776],"study_design_scores_gemma":[0.02348275,0.01181202,0.03157512,0.000968851,0.001638461,0.001698005,0.0755849,0.08707254,0.2148538,0.2908972,0.2560324,0.004383916],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009653869,0.000431237,0.9832374,0.002057549,0.0000578506,0.0002444646,0.000001465865,0.00006387176,0.004252291],"genre_scores_gemma":[0.7451688,0.00002719249,0.2545867,0.0001853515,0.00001164126,0.000006407611,0.000001853025,0.000001964298,0.00001011162],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7355149,"threshold_uncertainty_score":0.2505035,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02296435859975818,"score_gpt":0.3225588025497875,"score_spread":0.2995944439500293,"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."}}