Ogheneovo EE. Revisiting Cook-Levin theorem using NP-Completeness and Circuit-SAT. ijaers. 2020;7(3). Accessed July 22, 2024. https://journal-repository.com/index.php/ijaers/article/view/1749