Disambiguation evidence for SAT via surface form

"SAT"

Triples (5)

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

NP-completeness → hasCanonicalProblem →
"SAT"
↳ resolves to SAT
ⓘ
Cook–Levin theorem → firstNPCompleteProblem →
"SAT"
↳ resolves to SAT
ⓘ
Karp reduction → canonicalExampleFrom →
"SAT"
↳ resolves to SAT
ⓘ
linked to: Karp reductions
3-SAT → restrictionOf →
"SAT"
↳ resolves to SAT
ⓘ
SMT → extends →
"SAT"
↳ resolves to SAT
ⓘ