Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theoretical_computer_science
|
| gptkbp:abbreviation |
XORSAT
|
| gptkbp:complexity |
P
|
| gptkbp:contrastsWith |
gptkb:3-SAT
gptkb:k-SAT |
| gptkbp:involves |
XOR clauses
|
| gptkbp:isSolvable |
polynomial time
|
| gptkbp:relatedTo |
gptkb:Boolean_satisfiability_problem
linear algebra over GF(2) |
| gptkbp:solvedBy |
gptkb:Gaussian_elimination
|
| gptkbp:studiedIn |
gptkb:theoretical_computer_science
|
| gptkbp:usedIn |
coding theory
cryptography |
| gptkbp:bfsParent |
gptkb:XOR-SAT
|
| gptkbp:bfsLayer |
9
|
| https://www.w3.org/2000/01/rdf-schema#label |
exclusive-or satisfiability
|