B. A. Madsen and P. Rossmanith, “Maximum Exact Satisfiability: NP-completeness Proofs and Exact Algorithms”, BRICS, vol. 11, no. 19, Oct. 2004.