Theory of Computation
https://uvatoc.github.io/week11

25.4 History of the Cook-Levin Theorem
- Cook's Original Paper
- Primes Problem
- Levin's Original Paper
- Universal Search Problems

David Evans and Nathan Brunelle
University of Virginia