New Encodings of Pseudo-Boolean Constraints into CNF.

Olivier Bailleux, Yacine Boufkhad, Olivier Roussel

Browse the full SAT paper archive.