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

by Ramamohan Paturi, Pavel Pudlák, Michael E Saks, Francis Zane
Venue:J. ACM