MUELLER, Matthias. Polynomial Exact-3-SAT-Solving Algorithm. International Journal of Engineering and Technology, [S. l.], v. 9, n. 3, p. 670–691, 2020. DOI: 10.14419/ijet.v9i3.30749. Disponível em: https://mail.sciencepubco.com/index.php/IJET/article/view/30749.. Acesso em: 12 jun. 2025.