HomeServicesBlogDictionariesContactSpanish Course
← Back to search

Meaning of Cook-Levin theorem | Babel Free

Noun CEFR B2

Definitions

A theorem stating that the Boolean satisfiability problem is NP-complete.

CEFR level

B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

Learn this word in context

See Cook-Levin theorem used in real conversations inside our free language course.

Start Free Course