Disambiguation evidence for Max-SAT via surface form

"k-Max-SAT"

Triples (1)

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

Max-SAT → hasVariant →

"k-Max-SAT"

↳ resolves to Max-SAT

ⓘ