Disambiguation evidence for Cook–Levin theorem via surface form

"Cook–Levin theorem"

Triples (11)

Triples where some other subject referred to this entity as "Cook–Levin theorem".

P, NP, and NP-Completeness: The Basics of Complexity Theory → mainTopic →
"Cook–Levin theorem"
↳ resolves to Cook–Levin theorem
ⓘ
P versus NP problem → relatedConcept →
"Cook–Levin theorem"
↳ resolves to Cook–Levin theorem
ⓘ
NP-completeness → firstNPCompleteProof →
"Cook–Levin theorem"
↳ resolves to Cook–Levin theorem
ⓘ
The Complexity of Theorem-Proving Procedures → relatedConcept →
"Cook–Levin theorem"
↳ resolves to Cook–Levin theorem
ⓘ
linked to: "The Complexity of Theorem-Proving Procedures"
NP-hardness → historicalWork →
"Cook–Levin theorem"
↳ resolves to Cook–Levin theorem
ⓘ
SAT problem → canonicalReference →
"Cook–Levin theorem"
↳ resolves to Cook–Levin theorem
ⓘ
Reducibility Among Combinatorial Problems → basedOn →
"Cook–Levin theorem"
↳ resolves to Cook–Levin theorem
ⓘ
linked to: "Reducibility Among Combinatorial Problems" (1972)
Karp reduction → relatedConcept →
"Cook–Levin theorem"
↳ resolves to Cook–Levin theorem
ⓘ
linked to: Karp reductions
3-SAT → introducedIn →
"Cook–Levin theorem"
↳ resolves to Cook–Levin theorem
ⓘ
Computers and Intractability: A Guide to the Theory of NP-Completeness → relatedTo →
"Cook–Levin theorem"
↳ resolves to Cook–Levin theorem
ⓘ
linked to: Garey and Johnson: Computers and Intractability
Stephen A. Cook → knownFor →
"Cook–Levin theorem"
↳ resolves to Cook–Levin theorem
ⓘ