Finding Least Cost Proofs Using a Hierarchical PSO.
Shawn T. ChiversGene A. TagliariniAshraf M. AbdelbarPublished in: SIS (2007)
Keyphrases
- particle swarm optimization
- particle swarm optimization algorithm
- pso algorithm
- particle swarm optimization pso
- particle swarm optimizer
- bp neural network
- real time
- multi objective
- hierarchical clustering
- fitness function
- particle swarm
- theorem proving
- metaheuristic
- artificial neural networks
- search algorithm
- social networks
- data mining