{"id":"W99499226","doi":"","title":"Propagating logical combinations of constraints","year":2005,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Local consistency; Constraint (computer-aided design); Constraint logic programming; Negation; Computer science; Consistency (knowledge bases); Simple (philosophy); Theoretical computer science; Binary constraint; Constraint programming; Algorithm; Conjunctive normal form; Logical consequence; Constraint satisfaction problem; Mathematics; Constraint satisfaction; Mathematical optimization; Programming language; Artificial intelligence","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.006442014,0.001827942,0.001006524,0.00285699,0.001620909,0.003400152,0.002366579,0.001586885,0.01761838],"category_scores_gemma":[0.01954213,0.001261487,0.001629521,0.002700208,0.001727376,0.006404558,0.006101578,0.002941786,0.002428175],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001128041,"about_ca_system_score_gemma":0.001914641,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001480663,"about_ca_topic_score_gemma":0.003593637,"domain_scores_codex":[0.9921484,0.002070699,0.0004606549,0.00114762,0.003620226,0.000552344],"domain_scores_gemma":[0.989805,0.00501747,0.0006101992,0.00198415,0.002296853,0.0002864199],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000474232,0.0003199299,0.002343929,0.0010229,0.0003822713,0.001351328,0.001084666,0.05042078,0.04128349,0.4977791,0.02191422,0.3816232],"study_design_scores_gemma":[0.0001887603,0.0002212823,0.0007535646,0.0003629446,0.0005146928,0.0007292336,0.0007074054,0.3520195,0.09281664,0.4347613,0.1167407,0.0001838956],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01485451,0.0002323206,0.9625863,0.0005340431,0.0002942119,0.0004770167,0.0004575861,0.00157826,0.01898565],"genre_scores_gemma":[0.1304269,0.0004182254,0.8521923,0.0005569581,0.0001510428,0.0005149758,0.0008187105,0.0009660083,0.01395491],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01761838,"threshold_uncertainty_score":0.0589394,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01591411217462555,"score_gpt":0.2465939824260087,"score_spread":0.2306798702513832,"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."}}