Keyphrases
- upper bound
- worst case
- lower bound
- max sat
- average case
- branch and bound algorithm
- satisfiability problem
- sat solvers
- branch and bound
- sat problem
- error bounds
- boolean satisfiability
- approximation algorithms
- sat solving
- lower and upper bounds
- vc dimension
- greedy algorithm
- variable ordering
- search algorithm
- worst case analysis
- constant factor
- np hard
- propositional satisfiability
- stochastic local search algorithms
- error probability
- sat instances
- concept classes
- generalization error
- sample size
- np complete
- phase transition
- search strategies
- stochastic local search
- graph coloring
- sample complexity
- sat encodings
- constraint satisfaction