Jump to Content

A deterministic (2-2/(k+1))n 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., vol. 289 (2002), pp. 69-83

Abstract

Research Areas