Hertli, Timon

1. 3-SAT Faster and Simpler - Unique-SAT Bounds for PPSZ Hold in General
   2011/03/10 by Timon Hertli, Hertli, Timon · 5 citations
   Computer Science · Engineering · #Advanced Graph Theory Research #Complexity and Algorithms in Graphs #Computational Complexity (cs.CC) #Data Structures and Algorithms (cs.DS) #F.2.2 #FOS: Computer and information sciences #G.2.1 #graph theory and CDMA systems
2. Breaking the PPSZ Barrier for Unique 3-SAT
   2013/11/11 by Hertli, Timon · 1 citation
   #68R05 #68W20 #68W40 #Computational Complexity (cs.CC) #Data Structures and Algorithms (cs.DS) #F.2.2 #FOS: Computer and information sciences #G.2.1