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-OBDD over monolithic OBDD.
['Jawarhar Jain', 'Ingo Wegener', 'Masahiro Fujita']
A note on complexity of OBDD composition and efficiency of partitioned-OBDDs over OBDDs