Parallel hybrid genetic algorithm for sat problems based on OpenMP.
Guanfeng WuQingshan ChenFeng CaoYang XuXiaomei ZhongPublished in: ISKE (2017)
Keyphrases
- hybrid genetic algorithm
- sat problem
- shared memory
- parallel programming
- satisfiability problem
- multi core processors
- parallel execution
- constraint satisfaction problems
- phase transition
- parallel computing
- randomly generated
- np complete
- sat solvers
- quadratic assignment problem
- stochastic local search
- genetic algorithm
- propositional satisfiability
- crossover operator
- genetic operators
- temporal logic
- max sat
- parallel algorithm
- improved algorithm
- branch and bound
- sat instances
- constraint satisfaction