Near-Optimal Encodings of Cardinality Constraints

Andrew Krapivin, Benjamin Przybocki, Bernardo Subercaseaux

We present several novel encodings for cardinality constraints, which use fewer clauses than previous encodings and, more importantly, introduce new generally applicable techniques…