Keyphrases
- stochastic local search
- search algorithm
- propositional satisfiability
- satisfiability testing
- search procedures
- sat solvers
- search strategies
- random sat instances
- sat problem
- search space
- tabu search
- sat solving
- max sat
- satisfiability problem
- propositional logic
- global search
- genetic algorithm
- systematic search
- phase transition
- memetic algorithm
- branch and bound
- configuration space
- combinatorial optimization
- simulated annealing
- sat instances
- orders of magnitude
- clause learning
- hybrid ga
- evolutionary algorithm
- objective function