@misc{indiciaea86be8f81d22,
  title = {A New Look at BDDs for Pseudo-Boolean Constraints},
  author = {Ignasi Abío and Robert Nieuwenhuis and Albert Oliveras and Enric Rodriguez-Carbonell and Valentin Mayer-Eichberger},
  year = {2014},
  doi = {10.1613/jair.3653},
  url = {https://arxiv.org/abs/1401.5860},
  note = {Source identifier: 1401.5860}
}