A deterministic (2-2/(k+1))<sup>n</sup> algorithm for k-SAT based on local search.

Evgeny Dantsin Andreas Goerdt Edward A. Hirsch Ravi Kannan Jon M. Kleinberg Christos H. Papadimitriou Prabhakar Raghavan Uwe Schöning A deterministic (2-2/(k+1))<sup>n</sup> algorithm for k-SAT based on local search. 69-83 2002 289 Theor. Comput. Sci. 1 db/journals/tcs/tcs289.html#DantsinGHKKPRS02 http://dx.doi.org/10.1016/S0304-3975(01)00174-8