Cook-Levin theorem en · PROPN
Etymology
Named after Stephen Cook and Leonid Levin.
Meanings
- A theorem stating that the Boolean satisfiability problem is NP-complete.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| the Cook-Levin theorem | canonical | lexicographic |