Complexity Theoretical Results on Partitioned (Nondeterministic) Binary Decision Diagrams.

Beate Bollig, Ingo Wegener

Browse the full MFCS paper archive.