Santana, V., Moura, E., Pereira, J., Carvalho, J., & Gonçalves, G. 2024 set 11. Redução de 3-SAT para Subconjunto Independente em Grafos: Implicações e Perspectivas. Anais da Escola Regional de Computação do Ceará, Maranhão e Piauí (ERCEMAPI). [Online] :