Login / Signup
Performance Evaluation Using Multi-terminal Binary Decision Diagrams.
Edith Werner
Published in:
MMB (2004)
Keyphrases
</>
binary decision diagrams
symbolic model checking
boolean functions
model checking
planning problems
knowledge compilation
data sets
learning algorithm
variable ordering