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
Uwe Schöning
Theor. Comput. Sci., 289(2002), pp. 69-83

Abstract

Research Areas