The experimental analysis of the efficiency of genetic algorithm based on 3-satisfiability problem. - Yu-an Zhang 026; Bingfen Li; Qiao Meng; Qiongqiong Hu; Qinglian Ma (ICNC, 2015)

A hybrid genetic algorithm to solve 3-SAT problem. - Bingfen Li; Yu-an Zhang 026 (ICNC-FSKD, 2016)