{"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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.000276588,0.0001039458,0.0001057197,0.0001024793,0.0001603127,0.00009105139,0.0009956501,0.0000545143,0.0001820244],"category_scores_gemma":[0.0003170703,0.00009208851,0.00004064196,0.0004194241,0.0002951104,0.0004673741,0.0004500354,0.0001497874,0.001017385],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004029851,"about_ca_system_score_gemma":0.00005925535,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007495879,"about_ca_topic_score_gemma":0.0001707482,"domain_scores_codex":[0.9987959,0.00009212508,0.0001578922,0.0003633406,0.0002427791,0.0003480243],"domain_scores_gemma":[0.9984637,0.0001768604,0.00005628331,0.001076819,0.0001180577,0.000108314],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001132079,0.00003047088,0.0126713,0.000009951042,0.00001951879,0.00001241249,0.000718507,0.00002067966,0.02672981,0.2967795,0.003889268,0.6591073],"study_design_scores_gemma":[0.0006552318,0.0005953303,0.0192129,0.00002829102,0.000003863312,0.00008966849,0.00009684753,0.002309977,0.01490955,0.9072732,0.05442955,0.0003955911],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08431116,0.00006276434,0.8949433,0.002407413,0.0007167213,0.0004603013,0.000002863496,0.0004672295,0.01662826],"genre_scores_gemma":[0.9334118,0.00001557318,0.06562345,0.000434246,0.0001459479,0.00002322839,8.737265e-7,0.000008808219,0.0003361059],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8491006,"threshold_uncertainty_score":0.9997604,"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."}}