Keyphrases
- upper bound
- lower bound
- worst case
- sat solvers
- branch and bound
- upper and lower bounds
- branch and bound algorithm
- max sat
- lower and upper bounds
- satisfiability problem
- propositional satisfiability
- sat problem
- boolean satisfiability
- search algorithm
- stochastic local search algorithms
- neural network
- generalization error
- stochastic local search
- sat solving
- propositional logic
- phase transition
- search strategies
- scheduling problem
- optimal solution
- single item
- information retrieval
- constant factor
- data sets