{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004033139,0.000780825,0.0008339878,0.001248766,0.0008985295,0.003389816,0.00614076,0.002501171,0.02645001],"category_scores_gemma":[0.00848189,0.001021454,0.002003981,0.001402142,0.001955126,0.003888604,0.002642388,0.003320195,0.00662883],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001056866,"about_ca_system_score_gemma":0.002760584,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004049521,"about_ca_topic_score_gemma":0.003329296,"domain_scores_codex":[0.9965108,0.0008100547,0.000372135,0.0007702424,0.001111593,0.0004251849],"domain_scores_gemma":[0.9948767,0.002307978,0.0003025849,0.001419029,0.000943503,0.0001503744],"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.001297208,0.0006410976,0.002085045,0.001838576,0.0002941344,0.001626709,0.001427011,0.06978063,0.05712166,0.5624032,0.04239056,0.2590942],"study_design_scores_gemma":[0.000781667,0.0005273081,0.0007068568,0.0002468558,0.0002801861,0.001555445,0.0003054084,0.5804809,0.1196966,0.1200602,0.1750158,0.0003428561],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00472635,0.00008525184,0.9561587,0.0003065473,0.0001689318,0.0002654406,0.0007292522,0.03058797,0.006971437],"genre_scores_gemma":[0.1185087,0.0001874385,0.8630692,0.0005538165,0.00009280384,0.0005180197,0.002143556,0.004088731,0.01083772],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02645001,"threshold_uncertainty_score":0.08848411,"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."}}