A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints.

Thierry Petit, Nicolas Beldiceanu, Xavier Lorca

Browse the full IJCAI paper archive.