An Algorithm Based on Tabu Search for Satisfiability Problem.
Wenqi HuangDefu ZhangWang HouxiangPublished in: J. Comput. Sci. Technol. (2002)
Keyphrases
- tabu search
- simulated annealing
- hybrid algorithm
- memetic algorithm
- metaheuristic
- test problems
- satisfiability problem
- search space
- dynamic programming
- search procedure
- job shop scheduling problem
- initial solution
- objective function
- heuristic methods
- benchmark instances
- benchmark problems
- scatter search
- search algorithm
- np complete
- tabu search algorithm
- hill climbing
- np hard
- cost function
- genetic algorithm
- computational complexity
- ant colony optimization
- stochastic local search algorithms
- particle swarm optimization
- scheduling problem
- quadratic assignment problem
- path relinking
- simulated annealing and tabu search
- search algorithm for solving
- bin packing
- randomly generated
- phase transition
- temporal logic
- evolutionary algorithm