Madsen, B. A.; Rossmanith, P. Maximum Exact Satisfiability: NP-Completeness Proofs and Exact Algorithms. BRICS 2004, 11.