{"id":"W2036792519","doi":"10.1145/2001576.2001640","title":"Heuristic techniques for variable and value ordering in CSPs","year":2011,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":40,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Regina","funders":"","keywords":"Constraint satisfaction problem; Heuristics; Mathematical optimization; Heuristic; Computer science; Constraint (computer-aided design); Variable (mathematics); Hill climbing; Constraint satisfaction; Random variable; Local consistency; Mathematics; Algorithm; Artificial intelligence; Statistics","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.0001100267,0.00003569811,0.00004379555,0.00005839132,0.00002693164,0.00002799486,0.00006876569,0.00002115628,0.0000349069],"category_scores_gemma":[0.00002648425,0.00003369657,0.000005934792,0.0001012853,0.00001011203,0.0001799475,0.00003496603,0.00002296558,9.934906e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008369421,"about_ca_system_score_gemma":0.000016399,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008755816,"about_ca_topic_score_gemma":0.00002280877,"domain_scores_codex":[0.999702,0.000007895302,0.00007664388,0.0001138602,0.00002706861,0.00007251011],"domain_scores_gemma":[0.9998356,0.00002906213,0.000014819,0.00008178917,0.00001912756,0.00001967865],"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.000003108188,0.00001789253,0.003439693,0.00001420139,0.000002182852,9.287988e-7,0.0003650246,0.00005660832,0.0002643534,0.9070102,0.00009160198,0.08873423],"study_design_scores_gemma":[0.0005040637,0.000128578,0.01946828,0.00003996996,0.000004455218,0.00002893422,0.00005939343,0.8685464,0.00807963,0.09903273,0.0038032,0.0003044041],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0004208765,0.000005899446,0.9793558,0.00006455868,0.00004604239,0.0001190005,2.544899e-7,0.0001145635,0.01987308],"genre_scores_gemma":[0.247594,0.000006856579,0.7521452,0.0001112412,0.000004293869,0.00001211187,2.605075e-7,0.000001960712,0.0001239888],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8684897,"threshold_uncertainty_score":0.1374106,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02049977995498006,"score_gpt":0.2303025629143362,"score_spread":0.2098027829593561,"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."}}