{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003568177,0.001145726,0.002400364,0.002596437,0.0008398668,0.00450315,0.002629059,0.001673629,0.005360598],"category_scores_gemma":[0.01726249,0.001280638,0.002124716,0.005018456,0.00295993,0.01143425,0.002582013,0.004108997,0.0007493268],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002373199,"about_ca_system_score_gemma":0.001884752,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00153613,"about_ca_topic_score_gemma":0.001516517,"domain_scores_codex":[0.9948655,0.001227804,0.0003530368,0.001233776,0.001933528,0.0003863608],"domain_scores_gemma":[0.9799709,0.01622345,0.0008073063,0.001851204,0.0008030446,0.0003439825],"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.0002130304,0.0003315378,0.006781568,0.003775782,0.000314497,0.0002092606,0.0004213292,0.1627515,0.002531925,0.4680767,0.01593999,0.3386529],"study_design_scores_gemma":[0.00005082612,0.0001302836,0.002831826,0.0003330156,0.00008684771,0.0004028081,0.0001697329,0.1690697,0.001164489,0.7993023,0.02639377,0.00006445841],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"review","genre_scores_codex":[0.1236011,0.1571845,0.6672142,0.01345633,0.000670305,0.0002118595,0.001882095,0.0009049227,0.03487467],"genre_scores_gemma":[0.6043726,0.1117926,0.2656937,0.001941778,0.003847247,0.0003645362,0.003540899,0.0008538956,0.007592796],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.005360598,"threshold_uncertainty_score":0.01887053,"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."}}