Near-Optimal Encodings of Cardinality Constraints.

Andrew Krapivin, Benjamin Przybocki, Bernardo Subercaseaux

Browse the full SAT paper archive.