Keyphrases
- model checking
- boolean satisfiability
- temporal logic
- sat solvers
- probabilistic planning
- branch and bound algorithm
- sat problem
- randomly generated
- symmetry breaking
- satisfiability problem
- finite state
- integer linear programming
- max sat
- sat instances
- phase transition
- combinatorial problems
- lower bound
- branch and bound
- modal logic
- domain independent
- upper bound