Login / Signup

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

Beate BolligIngo 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