hasPolynomialTimeAlgorithm
5
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:MAX-CUT_problem | no (unless P=NP) |
| gptkb:3-satisfiability | no (unless P=NP) |
| gptkb:X3C | unknown (believed not to exist) |
| gptkb:2SAT | true |
| gptkb:Boolean_satisfiability_problem_(SAT) | false |