Keyphrases
- lower bound
- satisfiability problem
- upper bound
- sat solvers
- worst case
- johnson lindenstrauss
- sat solving
- max sat
- sat problem
- search algorithm
- boolean satisfiability
- search strategies
- phase transition
- propositional satisfiability
- information systems
- variable ordering
- stochastic local search
- sat instances
- np hard
- database
- search tree
- stochastic local search algorithms