An Improved Upper Bound for SAT
Evgeny DantsinAlexander WolpertPublished in: Electron. Colloquium Comput. Complex. (2005)
Keyphrases
- upper bound
- lower bound
- branch and bound algorithm
- worst case
- boolean satisfiability
- max sat
- branch and bound
- satisfiability problem
- sat solvers
- generalization error
- upper and lower bounds
- lower and upper bounds
- search algorithm
- sat problem
- search strategies
- np complete
- sat solving
- stochastic local search algorithms
- sample complexity
- genetic algorithm