On selecting a satisfying truth assignment (1991)

by C H Papadimitriou
Venue:in Proc. 32nd IEEE Symp. on the Foundations of Comp. Sci