Cook-Levin Theorem/Historical Note

Historical Note on Cook-Levin Theorem
The Cook-Levin Theorem was the first demonstration of a problem, in this case the boolean satisfiability problem, to be shown to be NP-complete.