Statements (24)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theoretical_computer_science
gptkb:Boolean_satisfiability_problem |
| gptkbp:alsoKnownAs |
gptkb:exclusive-or_satisfiability
|
| gptkbp:canBe |
system of linear equations over GF(2)
|
| gptkbp:clauseType |
XOR (exclusive-or) clauses
|
| gptkbp:complexity |
P
|
| gptkbp:definedIn |
the problem of determining if a system of linear equations over GF(2) is satisfiable
|
| gptkbp:heldBy |
tractable
|
| gptkbp:input |
set of XOR clauses
|
| gptkbp:isSolvable |
polynomial time
|
| gptkbp:output |
satisfiable or unsatisfiable
|
| gptkbp:relatedTo |
gptkb:3-SAT
gptkb:2-SAT |
| gptkbp:solvedBy |
gptkb:Gaussian_elimination
|
| gptkbp:studiedBy |
gptkb:theoretical_computer_science
|
| gptkbp:unlike |
gptkb:3-SAT
general SAT |
| gptkbp:usedIn |
coding theory
cryptography constraint satisfaction problems |
| gptkbp:variablesDomain |
Boolean variables
|
| gptkbp:bfsParent |
gptkb:Exact_cover_problem
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
XOR-SAT
|