Marc Thurley - RankMe

19 papers A* 1A 4B 1C 1Journal 10Unranked 2

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