Timon Hertli

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

Timon Hertli, Timon Hertli, 2011, 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science.

Unique k-SAT and General k-SAT

Timon Hertli, Timon Hertli, 2016, Encyclopedia of Algorithms.

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

Timon Hertli, Dominik Scheder, Sebastian Millius, 2016, CP.

Investigating and improving the PPSZ algorithm for SAT

Timon Hertli, Timon Hertli, 2010 .

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

Timon Hertli, 2014, SIAM J. Comput..

Improving PPSZ for 3-SAT using Critical Variables pdf

Timon Hertli, Dominik Scheder, Robin A. Moser, 2010, STACS.

Breaking the PPSZ Barrier for Unique 3-SAT

Timon Hertli, Timon Hertli, 2013, ICALP.

Improved Exponential Algorithms for SAT and ClSP

Timon Hertli, Timon Hertli, 2015 .