A Parallel CPU/GPU Bees Swarm Optimization Algorithm for the Satisfiability Problem.
Célia HirècheHabiba DriasPublished in: WorldCIST (2) (2020)
Keyphrases
- genetic algorithm
- optimization algorithm
- satisfiability problem
- graphics processing units
- multi objective
- swarm intelligence
- honey bee
- particle swarm optimization
- artificial bee colony
- particle swarm optimization pso
- general purpose
- np complete
- parallel implementation
- gpu implementation
- optimization method
- parallel processing
- search algorithm
- particle swarm
- parallel programming
- parallel computing
- temporal logic
- graphics processors
- memory bandwidth
- differential evolution
- evolutionary algorithm
- phase transition
- compute unified device architecture
- abc algorithm
- massively parallel
- sat problem
- multithreading
- simulated annealing
- multiobjective optimization
- stochastic local search
- evolutionary multi objective
- level parallelism
- max sat
- stochastic local search algorithms
- optimization strategy
- artificial bee colony algorithm
- computational intelligence
- hybrid optimization algorithm
- mazurkiewicz traces
- special case
- particle swarm optimisation
- sat instances
- particle swarm optimization algorithm
- scheduling problem
- model checking
- control parameters
- hybrid algorithm