Skjernaa, Bjarke
-
BRICS Report Series No. 30 (2003): RS-30 New Algorithms for Exact Satisfiability - Articles
New Algorithms for Exact Satisfiability
Abstract PDF -
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
