"Optimal Base Encodings for Pseudo-Boolean Constraints."

Michael Codish et al. (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics