first proven NP-complete by
5
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:k-SAT_for_k_>_3 | gptkb:Stephen_Cook |
| gptkb:k-SAT_for_k_>_3 | gptkb:Richard_Karp |
| gptkb:Set_cover_problem | gptkb:Richard_Karp |
| gptkb:3-SAT | gptkb:Richard_Karp |
| gptkb:monotone_3-SAT | Berman, Karp (1978) |