Santana, Vitor, Ericksulino M. de A. Moura, José Miqueias de A. Pereira, Juliana Oliveira de Carvalho, and Glauber Dias Gonçalves. " Redução de 3-SAT para Subconjunto Independente em Grafos: Implicações e Perspectivas." Anais da XII Escola Regional de Computação do Ceará, Maranhão e Piauí, Parnaíba/PI, 2024. SBC, 2024, pp.189-198.