Disambiguation evidence for Boolean satisfiability problem via surface form
"Boolean satisfiability problem"
Triples (6)
Triples where some other subject referred to this entity
as "Boolean satisfiability problem".
Cook–Levin theorem
→
firstNPCompleteProblem
→
"Boolean satisfiability problem"
ⓘ
↳ resolves to Boolean satisfiability problem
SAT problem
→
alsoKnownAs
→
"Boolean satisfiability problem"
ⓘ
↳ resolves to Boolean satisfiability problem
Max-3-SAT
→
relatedTo
→
"Boolean satisfiability problem"
ⓘ
↳ resolves to Boolean satisfiability problem
Clique problem
→
reductionFrom
→
"Boolean satisfiability problem"
ⓘ
↳ resolves to Boolean satisfiability problem