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

Beate Bollig Ingo Wegener

Published in: Theory Comput. Syst. (1999)

Keyphrases

binary decision diagrams
symbolic model checking
boolean functions
databases
general purpose
database
space complexity
finite state