Keyphrases
- upper bound
- lower bound
- branch and bound algorithm
- worst case
- branch and bound
- satisfiability problem
- search algorithm
- max sat
- sat solvers
- upper and lower bounds
- lower and upper bounds
- boolean satisfiability
- generalization error
- sat problem
- phase transition
- stochastic local search
- variable ordering
- error probability
- knowledge base
- sat instances
- propositional satisfiability
- constant factor
- search strategies
- sat solving