| * | 2009 |
|---|
| 6 | EE | Albert Atserias,
Johannes Klaus Fichte,
Marc Thurley:
Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution.
SAT 2009: 114-127 |
| 5 | EE | Leslie Ann Goldberg,
Martin Grohe,
Mark Jerrum,
Marc Thurley:
A Complexity Dichotomy for Partition Functions with Mixed Signs.
STACS 2009: 493-504 |
| 2008 |
|---|
| 4 | EE | Yijia Chen,
Marc Thurley,
Mark Weyer:
Understanding the Complexity of Induced Subgraph Isomorphisms.
ICALP (1) 2008: 587-596 |
| 3 | EE | Leslie Ann Goldberg,
Martin Grohe,
Mark Jerrum,
Marc Thurley:
A complexity dichotomy for partition functions with mixed signs
CoRR abs/0804.1932: (2008) |
| 2007 |
|---|
| 2 | EE | Marc Thurley:
Kernelizations for Parameterized Counting Problems.
TAMC 2007: 703-714 |
| 2006 |
|---|
| 1 | EE | Marc Thurley:
sharpSAT - Counting Models with Advanced Component Caching and Implicit BCP.
SAT 2006: 424-429 |
