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

Sorry, there's nothing here.

Topics

Cite this paper

@article{Dantsin2002AD, title={A deterministic (2-2/(k+1))n algorithm for k-SAT based on local search}, author={Evgeny Dantsin and Andreas Goerdt and Edward A. Hirsch and Ravi Kannan and Jon M. Kleinberg and Christos H. Papadimitriou and Prabhakar Raghavan and Uwe Sch{\"o}ning}, journal={Theor. Comput. Sci.}, year={2002}, volume={289}, pages={69-83} }