Timon Hertli

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 1

Top Topics

Stochastic Local Search

Backtracking Search

Constraint Satisfaction Problems

Top Venues

SIAM J. Comput.

Publications

Timon Hertli, Isabelle Hurbain, Sebastian Millius, Robin A. Moser, Dominik Scheder, May Szedlák
The PPSZ Algorithm for Constraint Satisfaction Problems on More Than Two Colors. CP (2016)
Timon Hertli
Breaking the PPSZ Barrier for Unique 3-SAT. ICALP (1) (2014)
Timon Hertli
3-SAT Faster and Simpler - Unique-SAT Bounds for PPSZ Hold in General. SIAM J. Comput. 43 (2) (2014)
Timon Hertli
Breaking the PPSZ Barrier for Unique 3-SAT. CoRR (2013)
Timon Hertli, Robin A. Moser, Dominik Scheder
Improving PPSZ for 3-SAT using Critical Variables. STACS (2011)
Timon Hertli
3-SAT Faster and Simpler - Unique-SAT Bounds for PPSZ Hold in General. FOCS (2011)
Timon Hertli
3-SAT Faster and Simpler - Unique-SAT Bounds for PPSZ Hold in General CoRR (2011)
Timon Hertli, Robin A. Moser, Dominik Scheder
Improving PPSZ for 3-SAT using Crtitical Variables CoRR (2010)