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