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