Meaning of Cook-Levin theorem | Babel Free
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.
This word is part of the CEFR B2 vocabulary — upper intermediate level.