BDDs for Pseudo-Boolean Constraints – Revisited | Publicación