Marc Thurley

Publication Activity (10 Years)

Years Active: 2006-2014
Publications (10 Years): 0

Top Topics

Computational Complexity

Propositional Satisfiability

Approximation Algorithms

Top Venues

Inf. Process. Lett.

Publications

Albert Atserias, Johannes Klaus Fichte, Marc Thurley
Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution. CoRR (2014)
Andrei A. Bulatov, Víctor Dalmau, Marc Thurley
Descriptive complexity of approximate counting CSPs. CSL (2013)
Lukas Moll, Siamak Tazari, Marc Thurley
Computing hypergraph width measures exactly. Inf. Process. Lett. 112 (6) (2012)
Marc Thurley
An Approximation Algorithm for #k-SAT. STACS (2012)
Alistair Sinclair, Piyush Srivastava, Marc Thurley
Approximation algorithms for two-state anti-ferromagnetic spin systems on bounded degree graphs. SODA (2012)
Lukas Moll, Siamak Tazari, Marc Thurley
Computing hypergraph width measures exactly CoRR (2011)
Albert Atserias, Johannes Klaus Fichte, Marc Thurley
Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution. J. Artif. Intell. Res. 40 (2011)
Marc Thurley
An Approximation Algorithm for #k-SAT CoRR (2011)
Alistair Sinclair, Piyush Srivastava, Marc Thurley
Approximation algorithms for two-state anti-ferromagnetic spin systems on bounded degree graphs CoRR (2011)
Martin Grohe, Marc Thurley
Counting Homomorphisms and Partition Functions CoRR (2011)
Leslie Ann Goldberg, Martin Grohe, Mark Jerrum, Marc Thurley
A Complexity Dichotomy for Partition Functions with Mixed Signs. SIAM J. Comput. 39 (7) (2010)
Marc Thurley
The Complexity of Partition Functions on Hermitian Matrices CoRR (2010)
Martin Grohe, Marc Thurley
Counting Homomorphisms and Partition Functions. AMS-ASL Joint Special Session (2009)
Albert Atserias, Johannes Klaus Fichte, Marc Thurley
Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution. SAT (2009)
Leslie Ann Goldberg, Martin Grohe, Mark Jerrum, Marc Thurley
A Complexity Dichotomy for Partition Functions with Mixed Signs. STACS (2009)
Yijia Chen, Marc Thurley, Mark Weyer
Understanding the Complexity of Induced Subgraph Isomorphisms. ICALP (1) (2008)
Leslie Ann Goldberg, Martin Grohe, Mark Jerrum, Marc Thurley
A complexity dichotomy for partition functions with mixed signs CoRR (2008)
Marc Thurley
Kernelizations for Parameterized Counting Problems. TAMC (2007)
Marc Thurley
sharpSAT - Counting Models with Advanced Component Caching and Implicit BCP. SAT (2006)