Ramamohan Paturi Pavel Pudlák Michael E. Saks Francis Zane Backtracking Based k-SAT Algorithms. 2008 Encyclopedia of Algorithms http://dx.doi.org/10.1007/978-0-387-30162-4_45 reference/algo/2008 db/reference/algo/algo2008.html#PaturiPSZ08