Cook-Levin Theorem: Full Proof (SAT is NP-complete)
17:18
3SAT is NP-complete Proof
26:04
Savitch's Theorem (Complexity Theory), Statement and Proof
33:03
The Secret Link Between Thousands of Unsolved Math Problems (NP-Completeness)
1:18:27
16. Cook-Levin Theorem
1:25:25
16. Complexity: P, NP, NP-completeness, Reductions
11:48
'My jaw is dropped': Canadian official's interview stuns Amanpour
33:38
Zero Knowledge Proof (with Avi Wigderson) - Numberphile
19:44