Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract).

Stephan Gocht, Ruben Martins, Jakob Nordstrm, Andy Oertel

Browse the full IJCAI paper archive.