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".
Inapproximability results for SAT and other problems
→
relatedConcept
→
"Max-3-SAT"
ⓘ
↳ resolves to Max-3-SAT