Keyphrases
- sat instances
- random sat instances
- stochastic local search
- sat solvers
- propositional satisfiability
- search algorithm
- sat problem
- search space
- combinatorial optimization
- randomly generated
- satisfiability problem
- genetic algorithm
- optimal solution
- phase transition
- constraint programming
- model checking
- tabu search
- np complete
- clause learning
- information retrieval systems