Top Qs
Timeline
Chat
Perspective

Cook-Levin theorem

From Wiktionary, the free dictionary

Remove ads

English

English Wikipedia has an article on:
Wikipedia

Etymology

Named after Stephen Cook and Leonid Levin.

Proper noun

the Cook-Levin theorem

  1. (computing theory) A theorem stating that the Boolean satisfiability problem is NP-complete.
    Synonym: Cook's theorem

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads
Remove ads