Perfect Hashing and CNF Encodings of Cardinality Constraints.

Yael Ben-Haim, Alexander Ivrii, Oded Margalit, Arie Matsliah

Browse the full SAT paper archive.