Cook-Levin Theorem/Historical Note

From ProofWiki

< Cook-Levin Theorem

Jump to navigation Jump to search

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.

Retrieved from "https://proofwiki.org/w/index.php?title=Cook-Levin_Theorem/Historical_Note&oldid=551020"

Historical Notes