{"id":"W2115590028","doi":"10.1109/tai.1994.346460","title":"Minimal forward checking","year":2002,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":36,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Heuristic; Constraint (computer-aided design); Constraint satisfaction problem; Computer science; Domain (mathematical analysis); Constraint satisfaction; Variable (mathematics); Random variable; Mathematical optimization; Selection (genetic algorithm); Algorithm; Theoretical computer science; Mathematics; Artificial intelligence; Statistics","routes":{"ca_aff":true,"ca_fund":true,"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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00003387823,0.00003417008,0.00003266597,0.00003677221,0.00004354291,0.00006485784,0.0001192929,0.00001633931,0.001278223],"category_scores_gemma":[0.00000997422,0.00003108234,0.00002096355,0.0001221156,0.000008677931,0.0002582271,0.00003230638,0.0000266023,0.0002464292],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000009179648,"about_ca_system_score_gemma":0.0000032742,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002276578,"about_ca_topic_score_gemma":0.000003553735,"domain_scores_codex":[0.9996682,0.000006513502,0.00006605039,0.0001034522,0.00007514769,0.00008056679],"domain_scores_gemma":[0.9998027,0.00001261854,0.00001576645,0.0001187222,0.00001760681,0.00003257411],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[4.67444e-7,0.00002509574,0.00318835,0.000002530756,0.000006270021,0.000004889949,0.0005828738,0.0003140649,0.0002434663,0.1574925,0.009894348,0.8282452],"study_design_scores_gemma":[0.0001694178,0.00001670273,0.005174288,0.000002401247,0.00000107711,0.00001856484,0.00001878478,0.9769357,0.0007016339,0.0003339913,0.01652759,0.00009985115],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001080271,0.0000105657,0.8719324,0.001497726,0.0001219483,0.00002656895,8.009673e-8,0.0001587477,0.1251716],"genre_scores_gemma":[0.8611837,0.000007429772,0.1354046,0.0004929317,0.00002016983,0.000001614167,1.861241e-7,0.000001694682,0.002887678],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9766216,"threshold_uncertainty_score":0.9996347,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02179393184471366,"score_gpt":0.2171752176951142,"score_spread":0.1953812858504006,"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."}}