Madsen, B. A. and Rossmanith, P. (2004) “Maximum Exact Satisfiability: NP-completeness Proofs and Exact Algorithms”, BRICS Report Series, 11(19). doi: 10.7146/brics.v11i19.21844.