Solving SAT problem based on hybrid differential evolution algorithm

KunQi Liu,Jingmin Zhang,Gang Liu,Lishan Kang
DOI: https://doi.org/10.1007/978-3-642-04962-0_28
2009-01-01
Abstract:Satisfiability (SAT) problem is an NP-complete problem. Based on the analysis about it, SAT problem is translated equally into an optimization problem on the minimum of objective function. A hybrid differential evolution algorithm is proposed to solve the Satisfiability problem. It makes full use of strong local search capacity of hill-climbing algorithm and strong global search capability of differential evolution algorithm, which makes up their disadvantages, improves the efficiency of algorithm and avoids the stagnation phenomenon. The experiment results show that the hybrid algorithm is efficient in solving SAT problem.
What problem does this paper attempt to address?