An Improved Exponential-time Algorithm for k-SAT (1998)

by Ramamohan Paturi, Pavel Pudlák, Michael E. Saks, Francis Zane