Disambiguation evidence for 3-SAT via surface form

"3-SAT"

Triples (6)

Triples where some other subject referred to this entity as "3-SAT".

NP-completeness → hasCanonicalProblem →
"3-SAT"
↳ resolves to 3-SAT
ⓘ
Max-3-SAT → basedOn →
"3-SAT"
↳ resolves to 3-SAT
ⓘ
Max-3-SAT → hasReductionFrom →
"3-SAT"
↳ resolves to 3-SAT
ⓘ
SAT → hasImportantVariant →
"3-SAT"
↳ resolves to 3-SAT
ⓘ
SAT → relatedProblem →
"3-SAT"
↳ resolves to 3-SAT
ⓘ
Subset sum problem → reductionFrom →
"3-SAT"
↳ resolves to 3-SAT
ⓘ