On Unique Satisfiability and the Threshold Behavior of Randomized Reductions (1995)

by R Chang, J Kadin, P Rohatgi
Venue:Journal of Computer and System Sciences