How to Encode a Logical Structure by an OBDD

Veith, Helmut

doi:10.1109/CCC.1998.694598

by Helmut Veith

Reference:

How to Encode a Logical Structure by an OBDDHelmut VeithIEEE Conference on Computational Complexity, pages 122-131, 1998.

Bibtex Entry:

@inproceedings{DBLP:conf/coco/Veith98,
  author = {Helmut Veith},
  title = {How to Encode a Logical Structure by an OBDD},
  year = {1998},
  booktitle = {IEEE Conference on Computational Complexity},
  pages = {122--131},
  doi = {10.1109/CCC.1998.694598}
}