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

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