Keyphrases
- upper bound
- lower bound
- max sat
- sat solvers
- branch and bound
- satisfiability problem
- upper and lower bounds
- sat problem
- branch and bound algorithm
- boolean satisfiability
- worst case
- sat solving
- lower and upper bounds
- error probability
- stochastic local search algorithms
- tight bounds
- search algorithm
- propositional satisfiability
- generalization error
- sat instances
- tight upper and lower bounds
- sample complexity
- sat encodings
- sample size
- average case
- phase transition
- constant factor
- variable ordering
- constraint programming
- efficiently computable
- upper bounding
- active learning