Login / Signup
Complexity Theoretical Results on Partitioned (Nondeterministic) Binary Decision Diagrams.
Beate Bollig
Ingo Wegener
Published in:
MFCS (1997)
Keyphrases
</>
binary decision diagrams
databases
symbolic model checking
search algorithm
boolean functions
finite state
natural language
expert systems
database applications
integrity constraints
planning problems