Keyphrases
- sat problem
- random sat instances
- stochastic local search
- propositional satisfiability
- sat solving
- satisfiability problem
- sat solvers
- max sat
- constraint satisfaction problems
- np complete
- phase transition
- randomly generated
- search algorithm
- sat instances
- tabu search
- genetic algorithm
- search strategy
- boolean satisfiability
- search space
- combinatorial optimization
- search strategies
- simulated annealing
- clause learning
- davis putnam