Timon Hertli

According to our database1, Timon Hertli authored at least 6 papers between 2010 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Unique k-SAT and General k-SAT.
Encyclopedia of Algorithms, 2016

The PPSZ Algorithm for Constraint Satisfaction Problems on More Than Two Colors.
Proceedings of the Principles and Practice of Constraint Programming, 2016

2014
3-SAT Faster and Simpler - Unique-SAT Bounds for PPSZ Hold in General.
SIAM J. Comput., 2014

Breaking the PPSZ Barrier for Unique 3-SAT.
Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

2011
Improving PPSZ for 3-SAT using Critical Variables.
Proceedings of the 28th International Symposium on Theoretical Aspects of Computer Science, 2011

2010
Improving PPSZ for 3-SAT using Crtitical Variables
CoRR, 2010


  Loading...