Return to Article Details A New Look at BDDs for Pseudo-Boolean Constraints Download Download PDF