firstProvedNPCompleteIn
4
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:Planar_SAT | 1982 |
| gptkb:Not-All-Equal_3SAT | 1978 |
| gptkb:CNF-SAT | 1971 |
| gptkb:Generalized_Tetris | 2003 |