A hybrid genetic algorithm to solve 3-SAT problem.
Bingfen LiYu-an ZhangPublished in: ICNC-FSKD (2016)
Keyphrases
- genetic algorithm to solve
- sat problem
- satisfiability problem
- sat solvers
- genetic algorithm
- constraint satisfaction problems
- np complete
- max sat
- boolean satisfiability
- phase transition
- davis putnam
- random sat instances
- sat instances
- propositional satisfiability
- weighted max sat
- decision problems
- randomly generated
- neural network
- stochastic local search