How to Encode a Logical Structure by an OBDD (bibtex)
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}
}
Powered by bibtexbrowser