Genetic Algorithms in Coq: Generalization and Formalization of the crossover operator.
Concepción VidalFelicidad AguadoJosé Luis DoncelJosé María MolinelliGilberto PérezPublished in: J. Formaliz. Reason. (2008)
Keyphrases
- crossover operator
- genetic algorithm
- mutation operator
- evolutionary algorithm
- fitness function
- differential evolution
- genetic operators
- memetic algorithm
- crossover and mutation operators
- genetic algorithm ga
- traveling salesman problem
- function optimization
- real coded genetic algorithms
- explore the search space
- hybrid genetic algorithm
- multi objective
- constrained optimization problems
- genetic programming
- evolutionary computation
- selection operator
- population diversity
- simulated annealing
- fuzzy logic
- uniform design
- constrained multi objective optimization problems
- multi objective optimization
- metaheuristic
- knowledge representation
- nsga ii
- optimization algorithm
- neural network
- premature convergence
- initial population
- convergence speed
- convergence rate
- tabu search
- crossover and mutation
- constraint handling
- particle swarm optimization
- lower bound