{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007539427,0.0001237056,0.0001691689,0.0001397606,0.000538098,0.0002049718,0.0004608449,0.00004211232,0.00008416779],"category_scores_gemma":[0.0001103997,0.00009359844,0.0001096471,0.0003116641,0.0003228826,0.0002894325,0.0001156947,0.0004191339,0.00001295653],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008588102,"about_ca_system_score_gemma":0.0001310553,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002339855,"about_ca_topic_score_gemma":0.000002966241,"domain_scores_codex":[0.9986017,0.0001775822,0.0004718151,0.0001678714,0.0003405268,0.0002405407],"domain_scores_gemma":[0.9987704,0.0003158751,0.0004555109,0.0002183227,0.0001515044,0.00008837064],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000008367515,0.00006198309,0.001999977,0.000009576363,0.0000476247,0.00001330652,0.001198121,0.3885073,0.001024337,0.09780629,0.00008086906,0.5092422],"study_design_scores_gemma":[0.0003742689,0.00003828253,0.00733885,0.0001123538,0.000006359482,0.0004020287,0.0001089558,0.9888541,0.0005881488,0.001636993,0.0004188393,0.0001208639],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06922815,0.0000369744,0.9256728,0.002402202,0.0004879751,0.00007422088,8.332344e-7,0.00004890446,0.002047882],"genre_scores_gemma":[0.8633766,0.000006216606,0.1358414,0.0005378395,0.000225319,1.037089e-7,3.104882e-7,0.000005722174,0.000006574602],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7941484,"threshold_uncertainty_score":0.413867,"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."}}