OGHENEOVO, Edward E. Revisiting Cook-Levin theorem using NP-Completeness and Circuit-SAT. International Journal of Advanced Engineering Research and Science, [S. l.], v. 7, n. 3, 2020. Disponível em: https://journal-repository.com/index.php/ijaers/article/view/1749.. Acesso em: 23 nov. 2024.