Topic summary
MAX-SAT
Extracted from the Wikipedia article Maximum satisfiability problem.
Related problems
- MAX-SAT, and the corresponded weighted version Weighted MAX-SAT
- MAX-kSAT, where each clause has exactly k variables:
Topic summary
Extracted from the Wikipedia article Maximum satisfiability problem.