Login / Signup
Binary Decision Diagrams as a HOL Derived Rule.
John Harrison
Published in:
TPHOLs (1994)
Keyphrases
</>
binary decision diagrams
boolean functions
symbolic model checking
variable ordering
model checking
planning problems
knowledge compilation
knowledge base
data structure
natural language
knowledge discovery
association rule mining
theorem prover
fp tree
model checker