Integrating BDD-Based and SAT-Based Symbolic Model Checking.
Alessandro CimattiEnrico GiunchigliaMarco PistoreMarco RoveriRoberto SebastianiArmando TacchellaPublished in: FroCoS (2002)
Keyphrases
- symbolic model checking
- binary decision diagrams
- planning problems
- model checking
- planning domains
- conformant planning
- partial observability
- formal verification
- boolean functions
- symbolic representation
- ai planning
- answer set programming
- sat solvers
- domain independent
- orders of magnitude
- belief state
- knowledge compilation
- classical planning
- model checker
- constraint solver