yearNPCompletenessProved
7
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:3-SAT_problem | 1972 |
| gptkb:Traveling_salesman_problem_(decision_version) | 1972 |
| gptkb:3SAT | 1972 |
| gptkb:Clique_problem | 1972 |
| gptkb:3-satisfiability | 1972 |
| gptkb:3-coloring_problem | 1972 |
| gptkb:Traveling_Salesman_Problem_(decision_version) | 1972 |