Stochastic Local Search Using the Search Space Smoothing Meta-Heuristic: A Case Study.
Sheqin DongFan GuoJun YuanRensheng WangXianlong HongPublished in: JCIS (2006)
Keyphrases
- metaheuristic
- stochastic local search
- search space
- tabu search
- max sat
- satisfiability problem
- ant colony optimization
- solution space
- search algorithm
- combinatorial optimization
- optimization problems
- sat solvers
- branch and bound
- tree search
- phase transition
- simulated annealing
- heuristic search
- random sat instances
- optimal solution
- sat problem
- genetic algorithm
- search methods
- randomly generated
- combinatorial problems
- vehicle routing problem
- fitness function
- search tree
- optimization method
- constraint satisfaction problems
- constraint propagation
- sat instances
- particle swarm optimization
- hill climbing
- search strategy
- hyper heuristics
- search procedure
- np complete
- benchmark problems
- temporal logic
- state space
- guided local search
- branch and bound algorithm