{"id":"W1767159495","doi":"10.48550/arxiv.0903.0467","title":"The Parameterized Complexity of Global Constraints","year":2009,"lang":"en","type":"article","venue":"PolyPublie (École Polytechnique de Montréal)","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":28,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"Türkiye Bilimsel ve Teknolojik Araştırma Kurumu; Australian Government","keywords":"Parameterized complexity; Bounded function; Simple (philosophy); Constraint (computer-aided design); Computational complexity theory; Symmetry (geometry); Backdoor; Computer science; Homogeneous space; Mathematics; Mathematical optimization; Algorithm","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.000475958,0.0001811156,0.0002275133,0.00006474871,0.0002810829,0.000201235,0.0007875841,0.0001116845,0.00001976276],"category_scores_gemma":[0.0001682743,0.0001487467,0.0001340002,0.000573561,0.0005328855,0.0003072685,0.0001107247,0.0001648232,0.000006585657],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001979004,"about_ca_system_score_gemma":0.0002152138,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000428486,"about_ca_topic_score_gemma":0.0005260963,"domain_scores_codex":[0.9984427,0.0001407559,0.0004312969,0.0002830406,0.000302746,0.0003994698],"domain_scores_gemma":[0.9985898,0.0001108847,0.0002473078,0.0007580033,0.0001336369,0.0001604261],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002691789,0.00006708657,0.004770475,0.000002763491,0.00001614383,0.000006892049,0.00006280359,0.0005290298,0.001523525,0.7425978,0.0003701541,0.2500264],"study_design_scores_gemma":[0.0009758735,0.0002662234,0.4195729,0.00003414945,0.00001727191,0.0002456649,0.00008652479,0.4598595,0.004783557,0.1128645,0.000861446,0.0004323398],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01996853,0.0001403172,0.9668339,0.01038627,0.0001177881,0.000364155,0.00001958612,0.0004242565,0.001745226],"genre_scores_gemma":[0.7717003,0.00005158973,0.2270648,0.001106943,0.00001597403,0.00002035609,0.000003099447,0.000004246225,0.00003268231],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7517318,"threshold_uncertainty_score":0.6065716,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01719818502322423,"score_gpt":0.2482085177725523,"score_spread":0.231010332749328,"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."}}