Santana, Vitor, Ericksulino M. de A. Moura, José Miqueias de A. Pereira, Juliana Oliveira de Carvalho, and Glauber Dias Gonçalves.
" Reduction of 3-SAT to Independent Set in Graphs: Implications and Perspectives." <em>Proceedings of the 12th Regional School on Computing of Ceará, Maranhão, and Piauí,
Parnaíba/PI, 2024</em>. SBC, 2024,  
pp.189-198.