@article{HerasetalJAIR2008,
 author = {Ignasi Abio and 
           Robert Nieuwenhuis and 
           Albert Oliveras and
           Enric Rodr\'\i guez-Carbonell and
           Valentin Mayer-Eichberger},
 title = {{A New Look at BDDs for Pseudo-Boolean Constraints}},
 journal = {Journal of Artificial Intelligence Research},
 volume = {45},
 year = {2012},
 pages = {443--480}
 }