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

by R Paturi, P Pudlák, M E Saks, F Zane
Venue:J. ACM