GASAT: A Genetic Local Search Algorithm for the Satisfiability Problem.
Frédéric LardeuxFrédéric SaubionJin-Kao HaoPublished in: Evol. Comput. (2006)
Keyphrases
- satisfiability problem
- search algorithm
- search algorithms for solving
- tabu search
- hybrid algorithm
- genetic algorithm
- sat problem
- vehicle routing problem
- search space
- search strategy
- search methods
- heuristic search
- stochastic local search algorithms
- feasible solution
- memetic algorithm
- stochastic local search
- branch and bound
- search tree
- max sat
- search problems
- sat instances
- search strategies
- benchmark instances
- metaheuristic
- simulated annealing