Parallel hybrid method for SAT that couples genetic algorithms and local search.
Gianluigi FolinoClara PizzutiGiandomenico SpezzanoPublished in: IEEE Trans. Evol. Comput. (2001)
Keyphrases
- hybrid method
- genetic algorithm
- satisfiability testing
- hybrid algorithm
- evolutionary methods
- tabu search
- stochastic local search
- simulated annealing
- memetic algorithm
- search algorithm
- global search
- hybrid ga
- propositional satisfiability
- satisfiability problem
- island model
- propositional logic
- parallel genetic algorithm
- support vector machine
- multi objective
- fitness function
- ant colony optimization
- evolutionary computation
- evolutionary algorithm
- search space
- particle swarm optimization
- search heuristics
- explore the search space
- image processing
- max sat
- job shop scheduling problem
- neural network
- metaheuristic
- np hard
- sat problem
- search procedures
- function optimization
- optimal solution
- phase transition
- search strategies
- genetic algorithm ga
- genetic programming
- feature space