Symbolic Model Checking without BDDs.

Armin Biere Alessandro Cimatti Edmund M. Clarke Yunshan Zhu

Published in: TACAS (1999)

Keyphrases

symbolic model checking
binary decision diagrams
boolean functions
conformant planning
model checking
planning problems
deterministic domains
knowledge compilation
machine learning
temporal logic
constraint propagation
model checker