{"id":"W2058170847","doi":"10.1145/1810891.1810914","title":"Constraint satisfaction problems and global cardinality constraints","year":2010,"lang":"en","type":"article","venue":"Communications of the ACM","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Cardinality (data modeling); Constraint satisfaction problem; Constraint satisfaction dual problem; Constraint satisfaction; Constraint (computer-aided design); Set (abstract data type); Mathematics; Local consistency; Mathematical optimization; Constraint logic programming; Complexity of constraint satisfaction; Backtracking; Computer science; Constraint programming","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.003746207,0.001925141,0.001879718,0.001463867,0.001573168,0.004658509,0.002117183,0.002572432,0.009918937],"category_scores_gemma":[0.01899255,0.0008424741,0.00211565,0.005812455,0.004462032,0.01142054,0.003405058,0.008291183,0.0007576459],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002578154,"about_ca_system_score_gemma":0.002040877,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003087355,"about_ca_topic_score_gemma":0.002426682,"domain_scores_codex":[0.9906229,0.003699961,0.0004616592,0.00184664,0.002553987,0.0008148878],"domain_scores_gemma":[0.9739659,0.02194096,0.001393743,0.001213151,0.001072272,0.0004139907],"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.0001130493,0.0001370575,0.0007410566,0.0008580857,0.0001665852,0.0003251357,0.0006077739,0.08761016,0.001032752,0.8442002,0.01320996,0.05099813],"study_design_scores_gemma":[0.00004923713,0.00003966208,0.0002874751,0.0001089248,0.00005000034,0.0002545213,0.0003996618,0.07560063,0.0009618292,0.90227,0.01995293,0.00002522206],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03216505,0.006501838,0.9156349,0.007774723,0.0003152654,0.0003510462,0.001616172,0.0003387272,0.03530236],"genre_scores_gemma":[0.4319623,0.01168293,0.5304971,0.002518831,0.002137001,0.001293715,0.004796708,0.000385655,0.0147257],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009918937,"threshold_uncertainty_score":0.03318214,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03179045529978212,"score_gpt":0.2816437082113095,"score_spread":0.2498532529115274,"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."}}