E. E. Ogheneovo, “Revisiting Cook-Levin theorem using NP-Completeness and Circuit-SAT”, ijaers, vol. 7, no. 3, Mar. 2020, Accessed: Jul. 22, 2024. [Online]. Available: https://journal-repository.com/index.php/ijaers/article/view/1749