On Unique Satis and Randomized Reductions (1990)

by R Chang, P Rohatgi
Venue:Bulletin of the EATCS