3-SAT Problem A New Memetic-PSO Algorithm.
Nasser LotfiJamshid TamoukMina FarmanbarPublished in: CoRR (2013)
Keyphrases
- sat problem
- pso algorithm
- particle swarm optimization
- particle swarm optimizer
- differential evolution
- particle swarm optimization pso
- satisfiability problem
- global optimization
- np complete
- sat solvers
- constraint satisfaction problems
- particle swarm optimization algorithm
- convergence speed
- phase transition
- particle swarm
- optimisation problems
- boolean satisfiability
- randomly generated
- max sat
- decision problems
- sat instances
- particle swarm optimisation
- multi objective
- hybrid algorithm
- inertia weight
- ant colony optimization
- stochastic local search
- optimization method
- weighted max sat
- global optimization problems
- random sat instances
- search algorithm
- faster convergence
- branch and bound
- metaheuristic
- genetic algorithm
- constraint satisfaction
- adaptive particle swarm optimization
- pid controller
- optimization algorithm
- evolutionary algorithm
- genetic algorithm ga
- orders of magnitude
- hybrid particle swarm optimization
- hybrid pso