An improved exponential-time algorithm for k-SAT (1998)

by R Paturi, P Pudlák, M E Saks, F s Zane
Venue:Proc. 39th Symp. Foundations of Computer Science