A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints | Publicación