Login / Signup
Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams.
Masahiro Fujita
Jerry Chih-Yuan Yang
Edmund M. Clarke
Xudong Zhao
Patrick 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