SAT-decoding in evolutionary algorithms for discrete constrained optimization problems.
Martin LukasiewyczMichael GlaßChristian HaubeltJürgen TeichPublished in: IEEE Congress on Evolutionary Computation (2007)
Keyphrases
- constrained optimization problems
- evolutionary algorithm
- differential evolution
- optimization problems
- constraint handling
- multi objective
- evolutionary computation
- augmented lagrangian
- fitness function
- search strategies
- crossover operator
- simulated annealing
- equality constraints
- test functions
- constrained optimization
- multi objective optimization
- genetic programming
- genetic algorithm
- differential evolution algorithm
- evolution strategy
- continuous domains
- penalty function
- decoding algorithm
- search algorithm
- sat solvers
- satisfiability problem
- optimization method
- neural network
- mutation operator
- sat problem
- hybrid algorithm
- bilevel programming