Swarm-based metaheuristics in automatic programming: a survey.

Juan Luis Olmo José Raúl Romero Sebastián Ventura

Published in: WIREs Data Mining Knowl. Discov. (2014)

Keyphrases

automatic programming
particle swarm optimization
swarm intelligence
theorem proving
metaheuristic
gene expression programming
ant colony optimization
genetic algorithm
simulated annealing
search space
optimal solution
evolutionary algorithm
model checking