Certified CNF Translations for Pseudo-Boolean Solving.

Stephan Gocht, Ruben Martins, Jakob Nordstrm, Andy Oertel

Browse the full SAT paper archive.