{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002794567,0.001292309,0.001393389,0.002394703,0.001150929,0.001548489,0.001858251,0.0009410083,0.003583015],"category_scores_gemma":[0.008213724,0.000731195,0.001116582,0.00331334,0.001421367,0.001901994,0.00146739,0.001649372,0.000495159],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001516099,"about_ca_system_score_gemma":0.003039738,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003915229,"about_ca_topic_score_gemma":0.006664185,"domain_scores_codex":[0.9972669,0.001166867,0.0001564244,0.0002355496,0.0008871587,0.0002871935],"domain_scores_gemma":[0.996002,0.002745044,0.0003602774,0.0003387948,0.0004215007,0.0001323491],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001516118,0.0002210603,0.0009816581,0.0004183222,0.00008322747,0.0002438088,0.0003099441,0.6711393,0.00497002,0.1319873,0.004669792,0.1848239],"study_design_scores_gemma":[0.0001198192,0.00009267875,0.0002118136,0.00006139657,0.00003418512,0.0001172967,0.0001208769,0.9178196,0.003700086,0.07045287,0.007236635,0.0000327165],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01297809,0.0004228658,0.9812381,0.0002203162,0.00005718479,0.0003006063,0.00008002522,0.0003984321,0.00430445],"genre_scores_gemma":[0.1438977,0.0005456678,0.8528997,0.0001197142,0.00005572123,0.0003928802,0.0002256622,0.0001221486,0.001740853],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003915229,"threshold_uncertainty_score":0.01477927,"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."}}