Marc Thurley
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2006–2013
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | CSL | Descriptive complexity of approximate counting CSPs. | Andrei A. Bulatov, Vctor Dalmau, Marc Thurley |
| 2012 | SODA | Approximation algorithms for two-state anti-ferromagnetic spin systems on bounded degree graphs. | Alistair Sinclair, Piyush Srivastava, Marc Thurley |
| 2012 | STACS | An Approximation Algorithm for #k-SAT. | Marc Thurley |
| 2009 | STACS | A Complexity Dichotomy for Partition Functions with Mixed Signs. | Leslie Ann Goldberg, Martin Grohe, Mark Jerrum, Marc Thurley |
| 2009 | SAT | Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution. | Albert Atserias, Johannes Klaus Fichte, Marc Thurley |
| 2008 | ICALP | Understanding the Complexity of Induced Subgraph Isomorphisms. | Yijia Chen, Marc Thurley, Mark Weyer |
| 2007 | TAMC | Kernelizations for Parameterized Counting Problems. | Marc Thurley |
| 2006 | SAT | sharpSAT - Counting Models with Advanced Component Caching and Implicit BCP. | Marc Thurley |