On selecting a satisfying truth assignment (1991)

by C H Papadimitriou
Venue:In 32nd FOCS