Disambiguation evidence for Max-SAT via surface form

"Max-SAT"

Triples (3)

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

Inapproximability results for SAT and other problems → relatedConcept →
"Max-SAT"
↳ resolves to Max-SAT
ⓘ
linked to: “Inapproximability results for SAT and other problems”
Max-3-SAT → relatedTo →
"Max-SAT"
↳ resolves to Max-SAT
ⓘ
Max-3-SAT → hasReductionTo →
"Max-SAT"
↳ resolves to Max-SAT
ⓘ