{"id":"W2109015525","doi":"10.1613/jair.2155","title":"Consistency and Random Constraint Satisfaction Models","year":2007,"lang":"en","type":"article","venue":"Journal of Artificial Intelligence Research","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta; Okanagan University College; University of British Columbia, Okanagan Campus; University of British Columbia","funders":"","keywords":"Backtracking; Constraint satisfaction problem; Local consistency; Constraint satisfaction; Constraint satisfaction dual problem; Constraint learning; Computer science; Constraint (computer-aided design); Consistency (knowledge bases); Robustness (evolution); Theoretical computer science; Mathematical optimization; Algorithm; Mathematics; 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.004732098,0.0007103413,0.001037034,0.0009797399,0.001276589,0.002371579,0.003044533,0.001732134,0.005724587],"category_scores_gemma":[0.0276484,0.0008801591,0.001476548,0.001674757,0.003581403,0.006059713,0.002562215,0.002970535,0.0005272062],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001533444,"about_ca_system_score_gemma":0.001793482,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001804949,"about_ca_topic_score_gemma":0.00207395,"domain_scores_codex":[0.9923253,0.003412944,0.0003754793,0.001284658,0.001994598,0.0006071115],"domain_scores_gemma":[0.975799,0.01607176,0.001853477,0.004446756,0.001317721,0.0005112673],"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.00007372761,0.00008562951,0.0007212636,0.0001068436,0.00005546712,0.0001441404,0.0002042483,0.1760382,0.00148153,0.8104736,0.001298751,0.00931666],"study_design_scores_gemma":[0.00005255092,0.00004302087,0.0001661352,0.00001434332,0.00001598224,0.0001057365,0.00005335008,0.4164213,0.00149616,0.578943,0.002668386,0.00002006616],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03884394,0.0001179121,0.9535618,0.0008725008,0.00002988509,0.0001356959,0.0002059776,0.0003681207,0.005864203],"genre_scores_gemma":[0.7040501,0.0002477719,0.2888987,0.0005420572,0.000106473,0.0006412487,0.0006942186,0.0002550621,0.00456435],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005724587,"threshold_uncertainty_score":0.02502602,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1417227492671828,"score_gpt":0.3914333672345828,"score_spread":0.2497106179674,"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."}}