Login / Signup

Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams.

Masahiro FujitaJerry Chih-Yuan YangEdmund M. ClarkeXudong ZhaoPatrick C. McGeer
Published in: ISCAS (1994)
Keyphrases
  • binary decision diagrams
  • boolean functions
  • symbolic model checking
  • multi valued
  • variable ordering
  • data structure
  • knowledge compilation
  • model checking
  • planning problems
  • model checker