Disambiguation evidence for Max-3-SAT via surface form

"MAX-3-SAT"

Triples (1)

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

3-SAT → relatedProblem →

"MAX-3-SAT"

↳ resolves to Max-3-SAT

ⓘ