TY  - RPRT
TI  - A New Look at BDDs for Pseudo-Boolean Constraints
AU  - Ignasi Abío
AU  - Robert Nieuwenhuis
AU  - Albert Oliveras
AU  - Enric Rodriguez-Carbonell
AU  - Valentin Mayer-Eichberger
PY  - 2014
DO  - 10.1613/jair.3653
UR  - https://arxiv.org/abs/1401.5860
ID  - 1401.5860
ER  -