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