Keyphrases
- stochastic local search
- propositional satisfiability
- satisfiability testing
- search algorithm
- sat solvers
- satisfiability problem
- search procedures
- search strategies
- sat solving
- random sat instances
- sat problem
- search space
- max sat
- propositional logic
- sat instances
- genetic algorithm
- job shop scheduling problem
- memetic algorithm
- industrial applications
- simulated annealing
- global search
- search problems
- automated reasoning
- phase transition
- backtrack search
- variable ordering
- clause learning
- optimal solution
- stochastic local search algorithms
- boolean satisfiability
- combinatorial optimization
- constraint programming
- neighborhood search
- np complete
- tabu search
- systematic search
- evolutionary algorithm
- hill climbing