Disambiguation evidence for Max-SAT via surface form

"MAX-SAT"

Triples (1)

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

SAT → hasImportantVariant →
"MAX-SAT"
↳ resolves to Max-SAT
ⓘ