Beate Bollig, Ingo Wegener. Complexity Theoretical Results on Partitioned (Nondeterministic) Binary Decision Diagrams. In Igor PrĂvara, Peter Ruzicka, editors, Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS 97, Bratislava, Slovakia, August 25-29, 1997, Proceedings. Volume 1295 of Lecture Notes in Computer Science, pages 159-168, Springer, 1997.
Abstract is missing.