Timon Hertli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2011–2016
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CP | The PPSZ Algorithm for Constraint Satisfaction Problems on More Than Two Colors. | Timon Hertli, Isabelle Hurbain, Sebastian Millius, Robin A. Moser, Dominik Scheder, May Szedlk |
| 2014 | ICALP | Breaking the PPSZ Barrier for Unique 3-SAT. | Timon Hertli |
| 2011 | FOCS | 3-SAT Faster and Simpler - Unique-SAT Bounds for PPSZ Hold in General. | Timon Hertli |
| 2011 | STACS | Improving PPSZ for 3-SAT using Critical Variables. | Timon Hertli, Robin A. Moser, Dominik Scheder |