Cook–Levin theorem (Q6481822)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: [[]] |
Theorem that Boolean satisfiability is NP-complete and therefore that NP-complete problems exist
- Cook's theorem
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Cook–Levin theorem |
Theorem that Boolean satisfiability is NP-complete and therefore that NP-complete problems exist |
|
Statements
Cook-Levin theorem
0 references
Identifiers
206602144
0 references
