Word.ws English Dictionary

Cook-Levin theorem

Cook-Levin theorem proper noun: a theorem stating that the Boolean satisfiability problem is NP-complete.

Proper noun

the Cook-Levin theorem

  1. A theorem stating that the Boolean satisfiability problem is NP-complete.
    Synonyms:
    Cook's theorem

Synonyms of Cook-Levin theorem

Origin of Cook-Levin theorem

Named after Stephen Cook and Leonid Levin.

Questions about Cook-Levin theorem

What does Cook-Levin theorem mean?
Cook-Levin theorem means a theorem stating that the Boolean satisfiability problem is NP-complete.
What part of speech is Cook-Levin theorem?
Cook-Levin theorem is a proper noun.

Words near Cook-Levin theorem in the dictionary

  1. cook-chill
  2. cook-chilled
  3. cook-chilling
  4. cook-house
  5. cook-houses
  6. Cook-Levin theorem
  7. cook-off
  8. cook-offs
  9. cook-stove
  10. cook-tent
  11. cook-tents

Source and license

Adapted from Wiktionary: Cook-Levin theorem (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “Cook-Levin theorem.” Word.ws, https://word.ws/cook-levin_theorem. Based on Wiktionary, CC BY-SA 4.0.