Efficient manipulation of decision diagrams

Fabio Somenzi. Efficient manipulation of decision diagrams. STTT, 3(2):171-181, 2001. [doi]

@article{Somenzi01,
  title = {Efficient manipulation of decision diagrams},
  author = {Fabio Somenzi},
  year = {2001},
  url = {http://link.springer.de/link/service/journals/10009/bibs/1003002/10030171.htm},
  researchr = {https://researchr.org/publication/Somenzi01},
  cites = {0},
  citedby = {0},
  journal = {STTT},
  volume = {3},
  number = {2},
  pages = {171-181},
}