@InProceedings{Abioetal2012SAT,
  author    = {I. Ab\'\i o and
               R. Nieuwenhuis and
               A. Oliveras and
               E. Rodr\'\i guez Carbonell},
  title     = {{BDDs for Pseudo-Boolean Constraints - Revisited}},
  booktitle = {14th International Conference on Theory and Applications of Satisfiability Testing, SAT'12},
  editor    = {K. Sakallah},
  pages     = {61-75},
  year      = {2011},
  series    = {Lecture Notes in Computer Science},
  publisher = {Springer},
  volume    = {6695}
}