Keyphrases
- lower bound
- sat solvers
- satisfiability problem
- upper bound
- johnson lindenstrauss
- boolean satisfiability
- sat problem
- max sat
- worst case
- phase transition
- sat solving
- branch and bound algorithm
- search algorithm
- artificial intelligence
- propositional satisfiability
- sat encodings
- stochastic local search algorithms
- neural network
- search strategies
- sat instances
- generalization error bounds