Login / Signup

Efficient Algorithms for the Transformation Betweeen Different Types of Binary Decision Diagrams.

Petr SavickýIngo Wegener
Published in: FSTTCS (1994)
Keyphrases
  • binary decision diagrams
  • boolean functions
  • symbolic model checking
  • database
  • expert systems
  • model checking