Cook-Levin theorem

Hello, you have come here looking for the meaning of the word Cook-Levin theorem. In DICTIOUS you will not only get to know all the dictionary meanings for the word Cook-Levin theorem, but we will also tell you about its etymology, its characteristics and you will know how to say Cook-Levin theorem in singular and plural. Everything you need to know about the word Cook-Levin theorem you have here. The definition of the word Cook-Levin theorem will help you to be more precise and correct when speaking or writing your texts. Knowing the definition ofCook-Levin theorem, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.

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