GUO, Mengyu. A Review of Research on Algorithms for Solving SAT Problems. Mathematical Modeling and Algorithm Application, [S. l.], v. 2, n. 1, p. 6–10, 2024. DOI: 10.54097/1mn6v127. Disponível em: https://drpress.org/ojs/index.php/mmaa/article/view/20868. Acesso em: 6 oct. 2024.