Solving Satisfiability Problem Based on Modified Genetic Algorithm

CAO Guo-sheng,HE Yi-chao,LI Min,WANG Zhi-gong,WEI Tian-xing
DOI: https://doi.org/10.3969/j.issn.1007-1423-B.2008.04.005
2008-01-01
Abstract:Genetic algorithm (GA) is a kind of intelligence algorithm based on the theory of evolution proposed by Holland, which is suitable for solving optimization problem. For solving the Satisfiability problem (SAT) using SGA, combines SGA with Local Search Algorithm, proposes a modified hybrid genetic algorithm (MHGA) to solve 3-SAT. First, transformes 3-SAT to the computation problem of polynomial function on {0, 1}n, whether exists a zero point. The results of numerical computation show that MHGA is feasible and effective for solving hard SAT.
What problem does this paper attempt to address?