Return to Article Details Revisiting Counting Solutions for the Global Cardinality Constraint Download Download PDF