Symbolic Model Checking Using SAT Procedures instead of BDDs.
Armin BiereAlessandro CimattiEdmund M. ClarkeMasahiro FujitaYunshan ZhuPublished in: DAC (1999)
Keyphrases
- symbolic model checking
- binary decision diagrams
- conformant planning
- model checking
- boolean functions
- search procedures
- sat solvers
- partial observability
- formal verification
- satisfiability problem
- planning problems
- phase transition
- artificial intelligence
- search algorithm
- search strategies
- orders of magnitude
- domain specific
- search space
- multi agent