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

Timon Hertli (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics