Keyphrases
- life span
- sat solvers
- satisfiability problem
- search algorithm
- boolean satisfiability
- propositional satisfiability
- sat problem
- stochastic local search
- stochastic local search algorithms
- sat solving
- search strategies
- pseudo boolean constraints
- variable ordering
- sat instances
- search procedures
- max sat
- search space
- search problems
- phase transition
- boolean formula
- parallel algorithm
- orders of magnitude
- information retrieval
- databases
- database