Timon Hertli

According to our database, Timon Hertli authored at least 7 papers between 2010 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2016

Unique <i>k</i>-SAT and General <i>k</i>-SAT.

Timon Hertli

Encyclopedia of Algorithms, 2016

The PPSZ Algorithm for Constraint Satisfaction Problems on More Than Two Colors.

Timon Hertli, Isabelle Hurbain, Sebastian Millius, Robin A. Moser, Dominik Scheder, May Szedlák

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

Improved Exponential Algorithms for SAT and ClSP.

Timon Hertli

PhD thesis, 2015

2014

Breaking the PPSZ Barrier for Unique 3-SAT.

Timon Hertli

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

2011

Improving PPSZ for 3-SAT using Critical Variables.

Timon Hertli, Robin A. Moser, Dominik Scheder

Proceedings of the 28th International Symposium on Theoretical Aspects of Computer Science, 2011

3-SAT Faster and Simpler - Unique-SAT Bounds for PPSZ Hold in General.

Timon Hertli

Proceedings of the IEEE 52nd Annual Symposium on Foundations of Computer Science, 2011

2010

Improving PPSZ for 3-SAT using Crtitical Variables

Timon Hertli, Robin A. Moser, Dominik Scheder

CoRR, 2010