Rossmanith, Peter

• BRICS Report Series No. 19 (2004): RS-19 Maximum Exact Satisfiability: NP-completeness Proofs and Exact Algorithms - Articles
  Maximum Exact Satisfiability: NP-completeness Proofs and Exact Algorithms
  Abstract  PDF