Login / Signup

Introduction to the Special Issue on Multi-Terminal Binary Decision Diagrams.

Masahiro FujitaPatrick C. McGeer
Published in: Formal Methods Syst. Des. (1997)
Keyphrases
  • binary decision diagrams
  • boolean functions
  • symbolic model checking
  • variable ordering
  • model checking
  • natural language
  • dynamic programming