Login / Signup

Multi-level logic optimization using binary decision diagrams.

Yusuke MatsunagaMasahiro Fujita
Published in: ICCAD (1989)
Keyphrases
  • binary decision diagrams
  • boolean functions
  • variable ordering
  • symbolic model checking
  • database
  • model checking
  • model checker
  • artificial intelligence
  • knowledge compilation