Generalized Arc Consistency for Global Cardinality Constraint

In this paper, we present an efficient way of implementing generalized arc consistency for a gcc. The algorithm we propose is based on a new theorem of flow theory. We also show how this algorithm can efficiently be combined with other filtering techniques.