A. Bhattacharjee and P. Chauhan "Solving the SAT problem using Genetic Algorithm", Advances in Science, Technology and Engineering Systems Journal, vol. 2, no. 4, pp. 115–120, 2017, doi: 10.25046/aj020416.