Keyphrases
- sat solvers
- satisfiability problem
- boolean satisfiability
- sat problem
- stochastic local search algorithms
- propositional satisfiability
- sat solving
- search strategies
- search algorithm
- pseudo boolean constraints
- max sat
- phase transition
- orders of magnitude
- databases
- sat instances
- stochastic local search
- genetic algorithm
- parallel algorithm
- temporal logic
- database
- domain independent
- np complete
- evolutionary algorithm
- search procedures
- optimal solution
- artificial intelligence
- variable ordering
- information retrieval