"Derandomization of PPSZ for Unique- k-SAT."

Daniel Rolf (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics