{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00009639068,0.00003850974,0.00005560391,0.00004759773,0.00004314887,0.00002472239,0.0001300146,0.00002203648,0.0003836947],"category_scores_gemma":[0.00004385967,0.00003305383,0.00002273849,0.0001542074,0.00007706288,0.0002319206,0.00003689642,0.0000396488,0.00003065053],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001238064,"about_ca_system_score_gemma":0.00003440925,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001593724,"about_ca_topic_score_gemma":0.000005382618,"domain_scores_codex":[0.999553,0.00001935011,0.0001518795,0.00009954644,0.0001052461,0.00007093951],"domain_scores_gemma":[0.9996862,0.00004343197,0.00005021755,0.0001114932,0.00007678458,0.00003182489],"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":[2.159854e-7,0.00006032133,0.0006642717,0.000001302014,0.000002314995,2.769536e-7,0.00006679754,0.0005223806,0.0003707404,0.6717387,0.00009649368,0.3264762],"study_design_scores_gemma":[0.001562079,0.00009576754,0.02370561,0.00002209007,0.000005275233,0.00006337727,0.0001421226,0.9505892,0.01546519,0.005666507,0.00241327,0.0002694867],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004397408,0.000003034523,0.9313486,0.001814459,0.00004347841,0.00006925978,5.188372e-7,0.00009709215,0.06222621],"genre_scores_gemma":[0.785879,0.000001594026,0.213813,0.0001423595,0.000007015925,0.000001783442,7.174922e-7,9.355821e-7,0.0001536501],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9500669,"threshold_uncertainty_score":0.4201188,"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."}}