{"id":"W2121804749","doi":"10.2168/lmcs-6(4:4)2010","title":"The complexity of global cardinality constraints","year":2010,"lang":"en","type":"article","venue":"Logical Methods in Computer Science","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Cardinality (data modeling); Constraint satisfaction problem; Constraint satisfaction dual problem; Constraint (computer-aided design); Set (abstract data type); Constraint satisfaction; Mathematics; Time complexity; Complexity of constraint satisfaction; Constraint logic programming; Computational complexity theory; Local consistency; Computer science; Mathematical optimization; Constraint programming; Discrete mathematics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003089745,0.001224309,0.002017954,0.001338329,0.001836199,0.005944607,0.00263394,0.002560743,0.008680145],"category_scores_gemma":[0.03032333,0.00096591,0.002304868,0.003473376,0.002888556,0.01408092,0.004232522,0.005048088,0.0006767197],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002665831,"about_ca_system_score_gemma":0.002404742,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003810599,"about_ca_topic_score_gemma":0.003161954,"domain_scores_codex":[0.9928109,0.002390409,0.0003572496,0.001393344,0.002099776,0.0009482573],"domain_scores_gemma":[0.9500422,0.04166757,0.002565023,0.003185743,0.001589077,0.0009504449],"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.0007739178,0.0003035342,0.006033728,0.001308091,0.0003845425,0.0006919586,0.001400045,0.3683406,0.005358354,0.4959425,0.02201019,0.09745255],"study_design_scores_gemma":[0.00009859611,0.00005757398,0.001397372,0.00007838608,0.0001097045,0.0003378951,0.0004678721,0.2556702,0.002586096,0.7309642,0.008182933,0.00004915367],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.450982,0.003614247,0.4751422,0.01453624,0.0002455735,0.0003983418,0.005662211,0.001130499,0.04828867],"genre_scores_gemma":[0.8727579,0.00310448,0.1093886,0.0008342149,0.0005328144,0.0006081659,0.004212799,0.0005834104,0.007977629],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008680145,"threshold_uncertainty_score":0.02903795,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1631823224161655,"score_gpt":0.4693948801379104,"score_spread":0.3062125577217448,"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."}}