Santana, V., 		Moura, E., 		Pereira, J., 		Carvalho, J., & 		Gonçalves, G.
2024 Sep 11.  Reduction of 3-SAT to Independent Set in Graphs: Implications and Perspectives. Proceedings of the Regional School on Computing of Ceará, Maranhão, and Piauí (ERCEMAPI). [Online] :