Ramamohan Paturi Pavel Pudlák Michael E. Saks Francis Zane An improved exponential-time algorithm for <i>k</i>-SAT. 337-364 2005 52 J. ACM 3 http://doi.acm.org/10.1145/1066100.1066101 db/journals/jacm/jacm52.html#PaturiPSZ05