An Efficient Implementation of Ant Colony Optimization on GPU for the Satisfiability Problem.
Hassan A. YounessAziza IbraheimMohammed MonessMuhammad OsamaPublished in: PDP (2015)
Keyphrases
- ant colony optimization
- satisfiability problem
- metaheuristic
- swarm intelligence
- ant colony
- np complete
- aco algorithm
- ant colony algorithm
- traveling salesman problem
- ant colony optimization algorithm
- particle swarm optimization
- temporal logic
- search algorithm
- artificial ants
- aco algorithms
- combinatorial optimization problems
- ant colonies
- nature inspired
- phase transition
- stochastic local search algorithms
- metaheuristic algorithms
- tabu search
- max sat
- sat problem
- sat instances
- particle swarm optimization pso
- combinatorial optimization
- genetic algorithm
- constraint satisfaction
- pheromone trails
- simulated annealing
- artificial intelligence