{"id":"W1997649256","doi":"10.1145/1120582.1120584","title":"A dichotomy theorem for constraint satisfaction problems on a 3-element set","year":2006,"lang":"en","type":"article","venue":"Journal of the ACM","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":372,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Constraint satisfaction problem; Constraint satisfaction; Constraint (computer-aided design); Element (criminal law); Set (abstract data type); Mathematics; Domain (mathematical analysis); Class (philosophy); Local consistency; Time complexity; Constraint satisfaction dual problem; Maximal element; Mathematical optimization; Algebraic number; Computer science; Discrete mathematics; Artificial intelligence","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.0003966211,0.00008033848,0.0001071797,0.00008159974,0.0001215855,0.0001009391,0.0006418477,0.00003178303,0.00002825206],"category_scores_gemma":[0.0001891767,0.00005011807,0.0001366726,0.0001351254,0.00003812191,0.000205437,0.00009313627,0.000125063,0.000003244114],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009307962,"about_ca_system_score_gemma":0.00008531069,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001152943,"about_ca_topic_score_gemma":0.00002906097,"domain_scores_codex":[0.9991379,0.0000577072,0.0003254209,0.00009776814,0.0002606063,0.0001206381],"domain_scores_gemma":[0.9988315,0.0001352741,0.0004109472,0.0004457699,0.0001418692,0.00003467266],"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.0001771517,0.0002859746,0.03334785,0.00006902106,0.0002137973,0.00001217452,0.001441065,0.1053694,0.009592135,0.4312829,0.0646893,0.3535193],"study_design_scores_gemma":[0.006776102,0.001294439,0.2475231,0.0004883902,0.0001192238,0.001021694,0.0002990945,0.07274754,0.0137379,0.606491,0.04884579,0.0006556755],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06502546,0.00002557919,0.9127021,0.01926705,0.001273212,0.0005689269,0.000009192897,0.00003617836,0.001092315],"genre_scores_gemma":[0.9575295,0.000007039313,0.04183053,0.0004010056,0.0001352887,0.00000765295,5.613283e-7,0.000004915047,0.00008344628],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8925041,"threshold_uncertainty_score":0.2043756,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01866132233556832,"score_gpt":0.2543906495361,"score_spread":0.2357293272005317,"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."}}