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