Boolean Satisfiability Solvers and Their Applications in Model Checking.
Yakir VizelGeorg WeissenbacherSharad MalikPublished in: Proc. IEEE (2015)
Keyphrases
- global constraints
- model checking
- boolean satisfiability
- symmetry breaking
- integer linear programming
- sat solving
- maximum satisfiability
- temporal logic
- sat solvers
- satisfiability problem
- sat instances
- finite state
- sat problem
- probabilistic planning
- search space
- max sat
- randomly generated
- markov decision processes
- phase transition
- search strategies