Towards Robust CNF Encodings of Cardinality Constraints | Publicación