Return to Article Details Maximum Exact Satisfiability: NP-completeness Proofs and Exact Algorithms Download Download PDF