Range and Roots: Two Common Patterns for Specifying and Propagating Counting and Occurrence Constraints

Christian Bessiere Emmanuel Hebrard Brahim Hnich Zeynep Kiziltan Toby Walsh Range and Roots: Two Common Patterns for Specifying and Propagating Counting and Occurrence Constraints http://arxiv.org/abs/0903.0211 2009 CoRR abs/0903.0211 db/journals/corr/corr0903.html#abs-0903-0211 informal publication