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}
}