Login / Signup

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

Petr SavickýIngo Wegener
Published in: Acta Informatica (1997)
Keyphrases
  • binary decision diagrams
  • boolean functions
  • symbolic model checking
  • databases
  • data mining
  • np hard