Home > Term: Cook's theorem
Cook's theorem
The language SAT of satisfiable Boolean formulas is NP-complete.
- Jenis Kata: noun
- Industri / Domain: Sains komputer
- Kategori: Algorithms & data structures
- Government Agency: NIST
0
Penulis
- GeorgeV
-
(Gold) 1123 poin - 100% positive feedback
