A Hybrid Genetic Algorithm Based on Simulated Annealing and Applications to Optimization and SAT Problems.
Xinchao ZhaoXiao-Shan GaoPublished in: SNPD (2004)
Keyphrases
- simulated annealing
- sat problem
- optimization method
- combinatorial optimization
- satisfiability problem
- optimization problems
- tabu search
- genetic algorithm
- evolutionary algorithm
- constraint satisfaction problems
- metaheuristic
- randomly generated
- np complete
- sat solvers
- sat solving
- sat instances
- temporal logic
- branch and bound
- max sat
- boolean satisfiability
- decision making