Keyphrases
- stochastic local search
- propositional satisfiability
- search algorithm
- satisfiability testing
- search procedures
- sat solvers
- satisfiability problem
- random sat instances
- global search
- max sat
- sat problem
- sat solving
- search strategies
- search space
- tabu search
- propositional logic
- randomly generated
- industrial applications
- genetic algorithm
- boolean satisfiability
- constraint programming
- optimal solution
- stochastic local search algorithms
- systematic search
- memetic algorithm
- phase transition
- automated reasoning
- simulated annealing
- constraint satisfaction
- sat instances
- search heuristics
- particle swarm optimization
- variable ordering
- global optimization
- job shop scheduling problem
- backtrack search
- search procedure