{"id":"W3120817185","doi":"","title":"Fine-Grained Complexity of Constraint Satisfaction Problems through Partial Polymorphisms: A Survey (Dedicated to the memory of Professor Ivo Rosenberg)","year":2019,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Royal Military College of Canada","funders":"","keywords":"Constraint satisfaction problem; Complexity of constraint satisfaction; Universal algebra; Constraint satisfaction; Constraint (computer-aided design); Domain (mathematical analysis); Computer science; Algebra over a field; Computational complexity theory; Theoretical computer science; Mathematics; Local consistency; Algorithm; Artificial intelligence; Pure mathematics","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.006110057,0.0003829677,0.0006353955,0.000224536,0.0002572167,0.0001976115,0.001714869,0.000300321,0.0002103654],"category_scores_gemma":[0.001649884,0.0003436737,0.0002409399,0.0008884528,0.0007085816,0.0002531323,0.001558641,0.0006209548,0.00003330933],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001181239,"about_ca_system_score_gemma":0.0008181183,"about_ca_topic_candidate":true,"about_ca_topic_consensus":true,"about_ca_topic_score_codex":0.009789581,"about_ca_topic_score_gemma":0.02494674,"domain_scores_codex":[0.9905939,0.006292255,0.001132007,0.0008639043,0.0007478565,0.0003701265],"domain_scores_gemma":[0.9914445,0.001456527,0.00142498,0.002703896,0.002823029,0.000147051],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.0002228188,0.002314344,0.09973233,0.001550895,0.001021407,0.000005982554,0.08612446,0.03423014,0.022273,0.5620969,0.00708168,0.183346],"study_design_scores_gemma":[0.002785597,0.00001103982,0.5541226,0.003870052,0.0001476946,0.00003732663,0.000344896,0.3052195,0.1206479,0.009382022,0.001843942,0.001587403],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09166909,0.0001392925,0.8833651,0.01838874,0.000709126,0.001753852,0.0003148825,0.0001716008,0.003488336],"genre_scores_gemma":[0.9405334,0.00006565123,0.05787629,0.0001097072,0.00001642641,0.00008891521,0.000345508,0.00002746797,0.0009366336],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8488643,"threshold_uncertainty_score":0.9999015,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03851269059015362,"score_gpt":0.2551080795167891,"score_spread":0.2165953889266355,"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."}}