Keyphrases
- upper bound
- lower bound
- branch and bound algorithm
- boolean satisfiability
- max sat
- worst case
- branch and bound
- satisfiability problem
- sat solvers
- upper and lower bounds
- search algorithm
- error probability
- search strategies
- sat problem
- sat solving
- stochastic local search
- propositional satisfiability
- scheduling problem
- variable ordering
- stochastic local search algorithms
- orders of magnitude
- single item
- data sets