Jawahar Jain, Ingo Wegener, Masahiro Fujita. A Note on Complexity of OBDD Composition and Efficiency of Partitioned-OBDDs over OBDDs. IEEE Transactions on Computers, 50(11):1289-1290, 2001. [doi]
@article{JainWF01,
title = {A Note on Complexity of OBDD Composition and Efficiency of Partitioned-OBDDs over OBDDs},
author = {Jawahar Jain and Ingo Wegener and Masahiro Fujita},
year = {2001},
url = {http://www.computer.org:80/tc/tc2001/t1289abs.htm},
tags = {composition, partitioning},
researchr = {https://researchr.org/publication/JainWF01},
cites = {0},
citedby = {0},
journal = {IEEE Transactions on Computers},
volume = {50},
number = {11},
pages = {1289-1290},
}