Ogheneovo, Edward E. “Revisiting Cook-Levin Theorem Using NP-Completeness and Circuit-SAT”. International Journal of Advanced Engineering Research and Science, vol. 7, no. 3, Mar. 2020, https://journal-repository.com/index.php/ijaers/article/view/1749.