A Superior Evolutionary Algorithm for 3-SAT.
Thomas BäckA. E. EibenMarco E. VinkPublished in: Evolutionary Programming (1998)
Keyphrases
- evolutionary algorithm
- multi objective
- search strategies
- sat solvers
- evolutionary computation
- optimization problems
- fitness function
- simulated annealing
- genetic algorithm
- genetic operators
- differential evolution
- sat problem
- satisfiability problem
- genetic programming
- multi objective optimization
- boolean satisfiability
- function optimization
- fitness landscape
- stochastic local search algorithms
- sat solving
- stochastic local search
- hybrid evolutionary algorithm
- mutation operator
- search algorithm
- propositional satisfiability
- industrial applications
- randomly generated
- phase transition
- np complete