numberOfLiteralsPerClause
4
triples
GPTKB property
Random triples
Subject | Object |
---|---|
gptkb:1-SAT | 1 |
gptkb:Not-All-Equal_3SAT | 3 |
gptkb:3-satisfiability | 3 |
gptkb:2SAT | 2 |