411 REFERENCE · Wiktionary
Cook-Levin theorem
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
Named after Stephen Cook and Leonid Levin.
Proper noun
1
en comptheory A theorem stating that the Boolean satisfiability problem is NP-complete.
en Cook's theorem
en eponyms