The Community for Technology Leaders
Green Image
<p><b>Abstract</b>—We discuss an open problem with constructing an OBDD using composition and prove that the worst case complexity of the construction is truly cubic. Using this insight, we show compactness of partitioned-OBDDs over monolithic OBDDs.</p>
Partitioned-OBDDs, OBDDs, composition.
Ingo Wegener, Jawahar Jain, Masahiro Fujita, "A Note on Complexity of OBDD Composition and Efficiency of Partitioned-OBDDs over OBDDs", IEEE Transactions on Computers, vol. 50, no. , pp. 1289-1290, November 2001, doi:10.1109/12.966501
100 ms
(Ver 3.1 (10032016))