MAX-SAT
Redirect to:
Maximum satisfiability problem