Keyphrases
- boolean satisfiability
- sat solvers
- randomly generated
- probabilistic planning
- branch and bound algorithm
- boolean optimization
- sat solving
- sat problem
- maximum satisfiability
- integer linear programming
- symmetry breaking
- combinatorial problems
- lower bound
- phase transition
- random sat instances
- max sat
- constraint satisfaction
- branch and bound
- orders of magnitude