Login / Signup

Minimazation of Binary Decision Diagrams Based on Exchanges of Variables.

Nagisa IshiuraHiroshi SawadaShuzo Yajima
Published in: ICCAD (1991)
Keyphrases
  • binary decision diagrams
  • variable ordering
  • symbolic model checking
  • boolean formula
  • boolean functions
  • model checking
  • planning problems
  • databases
  • constraint satisfaction problems
  • constraint satisfaction