Evolutionary Computation
Swarm Algorithm
Genetic Algorithm
Artificial Neural Network
FormalMethod