Keyphrases
- upper bound
- lower bound
- sat solvers
- max sat
- boolean satisfiability
- satisfiability problem
- worst case
- branch and bound algorithm
- sat problem
- branch and bound
- propositional satisfiability
- sat solving
- upper and lower bounds
- lower and upper bounds
- error probability
- sat instances
- phase transition
- orders of magnitude
- search algorithm
- generalization error
- stochastic local search algorithms
- variable ordering
- backtracking search
- stochastic local search
- search strategies
- np hard
- genetic algorithm
- objective function