V. Santana, E. Moura, J. Pereira, J. Carvalho, and G. Gonçalves.
" Reduction of 3-SAT to Independent Set in Graphs: Implications and Perspectives", in <em>Proceedings of the 12th Regional School on Computing of Ceará, Maranhão, and Piauí</em>, Parnaíba/PI, 2024, pp. 189-198, doi: <a href="https://doi.org/10.5753/ercemapi.2024.243754">https://doi.org/10.5753/ercemapi.2024.243754</a>.