year of NP-completeness proof
2
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:3-SAT | 1972 |
| gptkb:Set_cover_problem | 1972 |