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

by Ramamohan Paturi, Pavel Pudlák, Michael E Saks, Francis Zane
Venue:Ramamohan Paturi, Pavel Pudlák, and Francis