{"id":"W2961830567","doi":"10.1109/ismvl.2019.00037","title":"Fine-Grained Complexity of Constraint Satisfaction Problems through Partial Polymorphisms: A Survey","year":2019,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Royal Military College of Canada","funders":"","keywords":"Constraint satisfaction problem; Complexity of constraint satisfaction; Constraint (computer-aided design); Constraint satisfaction; Universal algebra; Computational complexity theory; Computer science; Domain (mathematical analysis); Mathematics; Theoretical computer science; Algebra over a field; Local consistency; Algorithm; 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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0003853608,0.0001525645,0.0002503635,0.00008240735,0.00006401868,0.0000667747,0.0002331805,0.00007694552,0.001368974],"category_scores_gemma":[0.00005754747,0.0001404041,0.00008000226,0.0004130643,0.0001981111,0.0005686014,0.0000913988,0.0001087246,0.0001095658],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004114459,"about_ca_system_score_gemma":0.0001340026,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002244262,"about_ca_topic_score_gemma":0.002197059,"domain_scores_codex":[0.9985284,0.0001664832,0.0004260404,0.0003598754,0.0002930795,0.0002261705],"domain_scores_gemma":[0.9989753,0.0001334626,0.000211246,0.0004418042,0.0001728879,0.00006529913],"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.00003854714,0.0001163032,0.3901324,0.00004574857,0.00007208031,0.000001705615,0.001024823,0.00359365,0.006357604,0.5608294,0.0007080073,0.03707972],"study_design_scores_gemma":[0.001434386,0.0001991744,0.8598943,0.00003449908,0.000007776471,0.0000324204,0.00005325809,0.1269234,0.004452871,0.00624265,0.0003490688,0.0003762918],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1157052,0.00001152504,0.8759959,0.0008271363,0.000515938,0.0004542787,0.00002588396,0.0002031973,0.006260965],"genre_scores_gemma":[0.9594849,0.000004753113,0.04012556,0.0001368738,0.00001514607,0.000007309679,0.00002484083,0.000006822614,0.0001937456],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8437797,"threshold_uncertainty_score":0.9995439,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05076496366989229,"score_gpt":0.2614338862727408,"score_spread":0.2106689226028485,"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."}}