Disambiguation evidence for Cook–Levin theorem via surface form
"Boolean satisfiability problem"
Triples (1)
Triples where some other subject referred to this entity
as "Boolean satisfiability problem".
NP-completeness
→
firstNPCompleteProblem
→
"Boolean satisfiability problem"
ⓘ
↳ resolves to Cook–Levin theorem