A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints.

Ignasi Abo, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell

Browse the full CP paper archive.