GUO, Mengyu. Progress in the Study of the Boolean Satisfiability Problem. International Journal of Computer Science and Information Technology, U.K., v. 2, n. 2, p. 217–225, 2024. DOI: 10.62051/ijcsit.v2n2.25. Disponível em: https://wepub.org/index.php/IJCSIT/article/view/1558. Acesso em: 5 may. 2026.