V. Santana, E. Moura, J. Pereira, J. Carvalho, and G. Gonçalves. " Redução de 3-SAT para Subconjunto Independente em Grafos: Implicações e Perspectivas", in Anais da XII Escola Regional de Computação do Ceará, Maranhão e Piauí, Parnaíba/PI, 2024, pp. 189-198, doi: https://doi.org/10.5753/ercemapi.2024.243754.