Login / Signup
Introduction to the Special Issue on Multi-Terminal Binary Decision Diagrams.
Masahiro Fujita
Patrick 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