Evolutionary algorithm based on cloud model to solve 3-SAT problem.
Meiyun DuYong GeChengshui NuiYu-an ZhangPublished in: CISP-BMEI (2017)
Keyphrases
- cloud model
- evolutionary algorithm
- sat problem
- weighted max sat
- satisfiability problem
- solving hard
- multi objective
- max sat
- boolean satisfiability
- optimization problems
- np complete
- differential evolution
- simulated annealing
- combinatorial problems
- constraint satisfaction problems
- stochastic local search
- sat instances
- phase transition
- function optimization
- genetic algorithm
- search strategies
- sat solving
- cellular automata
- search algorithm