"Solving Pseudo-Boolean Modularity Constraints."

Carlos Ansótegui et al. (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics