Keyphrases
- upper bound
- worst case
- lower bound
- branch and bound algorithm
- max sat
- satisfiability problem
- sat solvers
- branch and bound
- boolean satisfiability
- average case
- greedy algorithm
- sat problem
- sample size
- upper and lower bounds
- lower and upper bounds
- sat solving
- tight bounds
- error probability
- stochastic local search algorithms
- approximation algorithms
- error bounds
- stochastic local search
- sample complexity
- vc dimension
- phase transition
- search algorithm
- np hard
- variable ordering
- space complexity
- running times
- efficiently computable
- upper bounding
- partition function
- column generation
- generalization error
- linear program
- first order logic