{"id":"W1794401605","doi":"10.1007/978-3-540-30201-8_40","title":"Improved Algorithms for the Global Cardinality Constraint","year":2004,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":39,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Cardinality (data modeling); Consistency (knowledge bases); Local consistency; Domain (mathematical analysis); Algorithm; Constraint (computer-aided design); Computer science; Range (aeronautics); Constraint satisfaction; Variable (mathematics); Constant (computer programming); Constraint satisfaction problem; Combinatorics; Discrete mathematics; Mathematics; Data mining; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003343465,0.002374309,0.002950312,0.002321492,0.00142362,0.002877963,0.005293598,0.002254322,0.02141144],"category_scores_gemma":[0.01155632,0.001335696,0.002628903,0.004739631,0.001784778,0.007665715,0.005068347,0.005725676,0.003545401],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002198213,"about_ca_system_score_gemma":0.002177619,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003490002,"about_ca_topic_score_gemma":0.006683038,"domain_scores_codex":[0.9969925,0.0007751928,0.0001729824,0.0006604895,0.001053453,0.0003454043],"domain_scores_gemma":[0.9929938,0.003700401,0.0002946304,0.002080109,0.0007712264,0.0001598205],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0004282583,0.0002294856,0.0005712742,0.0004376869,0.0001369357,0.00008779881,0.0002376347,0.2246219,0.003987247,0.1903977,0.02435918,0.5545049],"study_design_scores_gemma":[0.0001493687,0.00006842869,0.000351982,0.00006800674,0.00009542625,0.0001210903,0.00006141483,0.7947929,0.00336612,0.1873263,0.01356273,0.00003623161],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003363762,0.0003479322,0.9903091,0.0001544961,0.00009440711,0.00006340309,0.0001328497,0.0008073632,0.004726755],"genre_scores_gemma":[0.02537856,0.0002742929,0.9675913,0.0001069854,0.0001256738,0.0001644845,0.00046639,0.0005905395,0.005301924],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02141144,"threshold_uncertainty_score":0.07162845,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02086016326025896,"score_gpt":0.2659771024728263,"score_spread":0.2451169392125673,"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."}}