1. Aiman, U., Asrar, N.: Genetic algorithm based solution to SAT-3 problem. J. Comput. Sci. Appl. 3(2), 33–39 (2015)
2. Audemard, G., Simon, L.: Predicting learnt clauses quality in modern SAT solvers. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence, IJCAI 2009, pp. 399–404 (2009)
3. Balyo, T., Heule, M., Iser, M., Järvisalo, M., Suda, M.: Proceedings of SAT competition 2023: solver, benchmark and proof checker descriptions (2023)
4. Balyo, T., Heule, M.J., Iser, M., Järvisalo, M., Suda, M.: SAT competition 2022 (2022)
5. Bhattacharjee, A., Chauhan, P.: Solving the SAT problem using genetic algorithm. Adv. Sci. Technol. Eng. Syst 2(4), 115–120 (2017)