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

Open in new window