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. 1054-1078 2009 173 Artif. Intell. 11 http://dx.doi.org/10.1016/j.artint.2009.03.001 db/journals/ai/ai173.html#BessiereHHKW09