A New Look at BDDs for Pseudo-Boolean Constraints

Open in new window