Laura Heinrich-Litan, Paul Molitor. Least Upper Bounds for the Size of OBDDs Using Symmetry Properties. IEEE Transactions on Computers, 49(4):360-368, 2000. [doi]
@article{Heinrich-LitanM00,
title = {Least Upper Bounds for the Size of OBDDs Using Symmetry Properties},
author = {Laura Heinrich-Litan and Paul Molitor},
year = {2000},
url = {http://www.computer.org:80/tc/tc2000/t0360abs.htm},
researchr = {https://researchr.org/publication/Heinrich-LitanM00},
cites = {0},
citedby = {0},
journal = {IEEE Transactions on Computers},
volume = {49},
number = {4},
pages = {360-368},
}