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 |