Madsen, Bolette Ammitzbøll

• BRICS Report Series No. 17 (2002): RS-17 On the Number of Maximal Bipartite Subgraphs of a Graph - Articles
  On the Number of Maximal Bipartite Subgraphs of a Graph
  Abstract  PDF
• BRICS Report Series No. 18 (2004): RS-18 An Algorithm for Exact Satisfiability Analysed with the Number of Clauses as Parameter - Articles
  An Algorithm for Exact Satisfiability Analysed with the Number of Clauses as Parameter
  Abstract  PDF
• 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
• BRICS Report Series No. 30 (2003): RS-30 New Algorithms for Exact Satisfiability - Articles
  New Algorithms for Exact Satisfiability
  Abstract  PDF