{"id":"W2772146156","doi":"10.1007/s10489-017-1094-x","title":"Using conflict and support counts for variable and value ordering in CSPs","year":2017,"lang":"en","type":"article","venue":"Applied Intelligence","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Regina","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Heuristics; Constraint satisfaction problem; Heuristic; Computer science; Constraint (computer-aided design); Variable (mathematics); Mathematical optimization; Constraint satisfaction; Local consistency; Incremental heuristic search; Constraint satisfaction dual problem; Beam search; Search algorithm; Algorithm; Artificial intelligence; Mathematics","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":[],"consensus_categories":[],"category_scores_codex":[0.0001315926,0.00004579472,0.00005868628,0.00003021397,0.0001199412,0.0001420543,0.0001200937,0.00002716959,0.00002304191],"category_scores_gemma":[0.00002314672,0.00004856642,0.000004503087,0.00003142466,0.00004506552,0.0001425029,0.00006695721,0.00003478369,0.00000405159],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001007596,"about_ca_system_score_gemma":0.00002808538,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002662535,"about_ca_topic_score_gemma":0.000004150155,"domain_scores_codex":[0.9996389,0.000002637873,0.00008275975,0.000149037,0.00004124431,0.00008539636],"domain_scores_gemma":[0.9997346,0.0000326451,0.00004269957,0.0001478811,0.00001704396,0.00002506226],"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.000004888146,0.000007376775,0.002055179,0.00002334947,0.0000047689,0.00000112469,0.0003956405,0.00166559,0.001249915,0.7754182,0.00004288756,0.219131],"study_design_scores_gemma":[0.000188447,0.00002132446,0.00307173,0.00002674202,0.000004973602,0.00002169457,0.00005310509,0.9667813,0.004798935,0.01216936,0.01265023,0.0002122131],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001699669,0.00001807464,0.9860362,0.00003808394,0.00009837169,0.00012234,9.712069e-7,0.00001591743,0.0119704],"genre_scores_gemma":[0.8311814,0.000080961,0.1685118,0.0001125523,0.00001311755,0.000006985129,6.511495e-7,0.000003835755,0.0000886943],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9651157,"threshold_uncertainty_score":0.1980481,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05998394517710508,"score_gpt":0.3146261805797957,"score_spread":0.2546422354026906,"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."}}