Random triples
| Subject | Object |
|---|---|
| gptkb:3-satisfiability | general SAT (in terms of clause length) |
| gptkb:Horn-SAT | general SAT |
| gptkb:2-SAT | gptkb:3-SAT |
| Subject | Object |
|---|---|
| gptkb:3-satisfiability | general SAT (in terms of clause length) |
| gptkb:Horn-SAT | general SAT |
| gptkb:2-SAT | gptkb:3-SAT |