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]
No references recorded for this publication.
No citations of this publication recorded.