Laura Heinrich-Litan, Paul Molitor, Dirk Möller. Least Upper Bounds on the Sizes of Symmetric Variable Order based OBDDs. In 6th Great Lakes Symposium on VLSI (GLS-VLSI 96), March 22-23, 1996, Ames, IA, USA. pages 126, IEEE Computer Society, 1996. [doi]
@inproceedings{Heinrich-LitanMM96,
title = {Least Upper Bounds on the Sizes of Symmetric Variable Order based OBDDs},
author = {Laura Heinrich-Litan and Paul Molitor and Dirk Möller},
year = {1996},
url = {http://csdl.computer.org/comp/proceedings/glsvlsi/1996/7502/00/75020126abs.htm},
tags = {rule-based},
researchr = {https://researchr.org/publication/Heinrich-LitanMM96},
cites = {0},
citedby = {0},
pages = {126},
booktitle = {6th Great Lakes Symposium on VLSI (GLS-VLSI 96), March 22-23, 1996, Ames, IA, USA},
publisher = {IEEE Computer Society},
}