"Breaking the PPSZ Barrier for Unique 3-SAT."

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