Keyphrases
- stochastic local search
- random sat instances
- search algorithm
- propositional satisfiability
- satisfiability testing
- sat solvers
- genetic algorithm
- satisfiability problem
- search procedures
- search strategies
- sat solving
- boolean satisfiability
- search space
- memetic algorithm
- sat problem
- tabu search
- max sat
- randomly generated
- propositional logic
- heuristic search
- neural network
- combinatorial optimization
- search procedure
- sat instances
- phase transition
- optimal solution