Olivier Bailleux Yacine Boufkhad Olivier Roussel A Translation of Pseudo Boolean Constraints to SAT. 191-200 2006 2 JSAT 1-4 http://jsat.ewi.tudelft.nl/content/volume2/JSAT2_8_Bailleux.pdf db/journals/jsat/jsat2.html#BailleuxBR06