38 citations · 38 across the 1 of their papers we have counts for
1 paper
Timon Hertli
The PPSZ algorithm by Paturi, Pudlák, Saks, and Zane [1998] is the fastest known algorithm for Unique k-SAT, where the input formula does not have more than one satisfying assignme…