Keyphrases
- stochastic local search
- search algorithm
- random sat instances
- propositional satisfiability
- satisfiability testing
- search space
- randomly generated
- sat solvers
- search procedures
- sat problem
- genetic algorithm
- satisfiability problem
- propositional logic
- search strategies
- sat solving
- simulated annealing
- global search
- neighborhood search
- max sat
- combinatorial optimization
- boolean satisfiability
- tabu search
- orders of magnitude
- memetic algorithm
- tree search
- branch and bound
- systematic search