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 Kleinberg, Christos Papadimitriou, Prabhakar Raghavan, Uwe SchöningVolume:
289
Year:
2002
Language:
english
Pages:
15
DOI:
10.1016/s0304-3975(01)00174-8
File:
PDF, 137 KB
english, 2002