Disambiguation evidence for Max-SAT via surface form

"Max-k-SAT"

Triples (1)

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

Max-3-SAT → isSpecialCaseOf →

"Max-k-SAT"

↳ resolves to Max-SAT

ⓘ