Disambiguation evidence for k-SAT via surface form

"k-SAT"

Triples (2)

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

SAT problem → restriction →
"k-SAT"
↳ resolves to k-SAT
ⓘ
SAT → hasImportantVariant →
"k-SAT"
↳ resolves to k-SAT
ⓘ