Home > Term: Cook's theorem
Cook's theorem
The language SAT of satisfiable Boolean formulas is NP-complete.
- ส่วนหนึ่งของคำพูด: noun
- อุตสาหกรรม/ขอบเขต: Computer science
- Category: Algorithms & data structures
- Government Agency: NIST
0
ผู้สร้าง
- GeorgeV
- 100% positive feedback