Random triples
Subject | Object |
---|---|
gptkb:Quantified_SAT | gptkb:SAT |
gptkb:CNF-SAT | gptkb:2-SAT |
gptkb:CNF-SAT | gptkb:Horn-SAT |
gptkb:3-satisfiability | 2-satisfiability |
Subject | Object |
---|---|
gptkb:Quantified_SAT | gptkb:SAT |
gptkb:CNF-SAT | gptkb:2-SAT |
gptkb:CNF-SAT | gptkb:Horn-SAT |
gptkb:3-satisfiability | 2-satisfiability |