BDDs for Pseudo-Boolean Constraints - Revisited.

Ignasi Abo, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell

Browse the full SAT paper archive.