Login / Signup

Approximation and Decomposition of Binary Decision Diagrams.

Kavita RaviKenneth L. McMillanThomas R. ShipleFabio Somenzi
Published in: DAC (1998)
Keyphrases
  • binary decision diagrams
  • boolean functions
  • symbolic model checking
  • variable ordering
  • planning problems
  • data mining
  • model checking
  • expert systems
  • query processing
  • knowledge compilation