A. Bhattacharjee, 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).