Complexity Theoretical Results on Partitioned (Nondeterministic) Binary Decision Diagrams

Beate Bollig, Ingo Wegener. Complexity Theoretical Results on Partitioned (Nondeterministic) Binary Decision Diagrams. Theory Comput. Syst., 32(4):487-503, 1999. [doi]

Abstract

Abstract is missing.