Cellular Genetic Algorithms and Local Search for 3-SAT problem on Graphic Hardware.
Zhongwen LuoHongzhi LiuPublished in: IEEE Congress on Evolutionary Computation (2006)
Keyphrases
- sat problem
- genetic algorithm
- random sat instances
- stochastic local search
- propositional satisfiability
- satisfiability problem
- sat solvers
- max sat
- tabu search
- np complete
- simulated annealing
- constraint satisfaction problems
- sat solving
- memetic algorithm
- search algorithm
- phase transition
- hybrid ga
- boolean satisfiability
- hybrid algorithms
- search space
- sat instances
- explore the search space
- randomly generated
- multi objective
- cellular automata
- davis putnam
- metaheuristic
- search heuristics
- decision problems
- weighted max sat
- particle swarm optimization
- genetic algorithm ga
- evolutionary algorithm
- branch and bound
- maximum satisfiability
- propositional logic
- clause learning
- orders of magnitude