Madsen, Bolette Ammitzbøll
-
BRICS Report Series Nr. 17 (2002): RS-17 On the Number of Maximal Bipartite Subgraphs of a Graph - Artikler
On the Number of Maximal Bipartite Subgraphs of a Graph
Resumé PDF (English) -
BRICS Report Series Nr. 18 (2004): RS-18 An Algorithm for Exact Satisfiability Analysed with the Number of Clauses as Parameter - Artikler
An Algorithm for Exact Satisfiability Analysed with the Number of Clauses as Parameter
Resumé PDF (English) -
BRICS Report Series Nr. 19 (2004): RS-19 Maximum Exact Satisfiability: NP-completeness Proofs and Exact Algorithms - Artikler
Maximum Exact Satisfiability: NP-completeness Proofs and Exact Algorithms
Resumé PDF (English) -
BRICS Report Series Nr. 30 (2003): RS-30 New Algorithms for Exact Satisfiability - Artikler
New Algorithms for Exact Satisfiability
Resumé PDF (English)