Sign in

Exact Minimization of Binary Decision Diagrams Using Implicit Techniques.

Arlindo L. OliveiraLuca P. CarloniTiziano VillaAlberto L. Sangiovanni-Vincentelli
Published in: IEEE Trans. Computers (1998)
Keyphrases
  • binary decision diagrams
  • boolean functions
  • symbolic model checking
  • objective function
  • planning problems
  • model checking
  • variable ordering
  • data sets
  • data mining
  • state space
  • object oriented
  • huge number