@article{VanDijkEhlersBiere-ARXIV18,
  author    = {Tom van Dijk and
               R{\"{u}}diger Ehlers and
               Armin Biere},
  title     = {Revisiting Decision Diagrams for {SAT}},
  journal   = {CoRR},
  volume    = {abs/1805.03496},
  year      = {2018},
  url       = {http://arxiv.org/abs/1805.03496},
}