Ogheneovo, E. E. Revisiting Cook-Levin Theorem Using NP-Completeness and Circuit-SAT. ijaers 2020, 7 (3).