{"id":"W2902878758","doi":"10.1145/3292048.3292050","title":"Constraint satisfaction problems","year":2018,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Conjecture; Constraint satisfaction problem; Constraint (computer-aided design); Constraint satisfaction dual problem; Complexity of constraint satisfaction; Constraint satisfaction; Backtracking; Mathematics; Combinatorics; Computer science; Mathematical economics; Local consistency; Mathematical optimization; Statistics; Geometry","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.00544166,0.00152423,0.001915708,0.002421622,0.004274341,0.007231637,0.003998954,0.003776608,0.02558354],"category_scores_gemma":[0.02435259,0.000992809,0.002098541,0.007660294,0.006002398,0.01346857,0.005716351,0.0100969,0.003913721],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004267896,"about_ca_system_score_gemma":0.003210166,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003344954,"about_ca_topic_score_gemma":0.002648721,"domain_scores_codex":[0.9899415,0.003238716,0.0007611625,0.002336089,0.002925984,0.0007965831],"domain_scores_gemma":[0.9795302,0.01643816,0.0006257762,0.001305058,0.001440223,0.0006606794],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003030006,0.0000522668,0.0002205662,0.0003790425,0.0000377431,0.0001173603,0.0002174193,0.002463423,0.0001573174,0.9398798,0.02303147,0.03341339],"study_design_scores_gemma":[0.0000321617,0.0000127827,0.00009204808,0.0001179223,0.00001187119,0.0001762347,0.0001722794,0.006835161,0.0002371886,0.9235798,0.06871592,0.00001661582],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01695247,0.02241927,0.6904247,0.06793854,0.003177772,0.0008791361,0.006125381,0.001165327,0.1909174],"genre_scores_gemma":[0.3234492,0.03142743,0.5201949,0.0193398,0.009790045,0.001642451,0.01533782,0.000782188,0.07803612],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02558354,"threshold_uncertainty_score":0.08558547,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03928523442880928,"score_gpt":0.311409972750338,"score_spread":0.2721247383215288,"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."}}