B. A. Madsen og P. Rossmanith, “Maximum Exact Satisfiability: NP-completeness Proofs and Exact Algorithms”, BRICS, bd. 11, nr. 19, okt. 2004.