{"id":"W2026753685","doi":"10.1137/s0097539700376676","title":"Classifying the Complexity of Constraints Using Finite Algebras","year":2005,"lang":"en","type":"article","venue":"SIAM Journal on Computing","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":580,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Engineering and Physical Sciences Research Council","keywords":"Constraint satisfaction problem; Universal algebra; Surjective function; Mathematics; Constraint satisfaction; Class (philosophy); Constraint (computer-aided design); Set (abstract data type); Algebra over a field; Algebraic number; Simple (philosophy); Discrete mathematics; Computer science; Pure 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003063805,0.0005230657,0.001136877,0.002715432,0.001306909,0.005754228,0.001535034,0.001359365,0.003210224],"category_scores_gemma":[0.01814604,0.0004819205,0.00218611,0.002914454,0.004282611,0.01424702,0.002615558,0.002513337,0.000199937],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00355043,"about_ca_system_score_gemma":0.001958695,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003037826,"about_ca_topic_score_gemma":0.002203082,"domain_scores_codex":[0.9951031,0.001627573,0.0004783265,0.0008359481,0.001453992,0.0005010705],"domain_scores_gemma":[0.9799168,0.01498477,0.00194793,0.001814139,0.0007426206,0.0005938133],"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.0001640978,0.0002081812,0.006120481,0.0002824438,0.0001399634,0.0001689506,0.0007973919,0.09934875,0.00362557,0.8571529,0.000922517,0.03106886],"study_design_scores_gemma":[0.00002611031,0.00003447731,0.001115681,0.0000284648,0.00002746185,0.0000763849,0.000184582,0.1414628,0.001729107,0.8542411,0.001044649,0.00002915837],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6176532,0.000811878,0.3680657,0.002157834,0.00002278249,0.0002406819,0.0007635567,0.0003160127,0.009968425],"genre_scores_gemma":[0.9341984,0.0006652772,0.06228119,0.0001477758,0.00009548265,0.0002252707,0.0009185704,0.00004565911,0.001422341],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005754228,"threshold_uncertainty_score":0.02576023,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08292401402696233,"score_gpt":0.3007412606629095,"score_spread":0.2178172466359471,"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."}}