Keyphrases
- sat solvers
- sat problem
- satisfiability problem
- search algorithm
- boolean satisfiability
- phase transition
- max sat
- building blocks
- sat solving
- stochastic local search algorithms
- stochastic local search
- propositional satisfiability
- search strategies
- sat instances
- np complete problems
- pseudo boolean constraints
- sat encodings
- database
- orders of magnitude
- np complete
- lower bound
- objective function
- information systems