Disambiguation evidence for Unique-SAT via surface form

"Unique-SAT"

Triples (1)

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

Valiant–Vazirani theorem → showsHardnessOf →
"Unique-SAT"
↳ resolves to Unique-SAT
ⓘ