%0 Journal Article %1 journals/tcs/DantsinGHKKPRS02 %A Dantsin, Evgeny %A Goerdt, Andreas %A Hirsch, Edward A. %A Kannan, Ravi %A Kleinberg, Jon M. %A Papadimitriou, Christos H. %A Raghavan, Prabhakar %A Schöning, Uwe %D 2002 %J Theor. Comput. Sci. %K %N 1 %P 69-83 %T A deterministic (2-2/(k+1))n algorithm for k-SAT based on local search. %U http://dblp.uni-trier.de/db/journals/tcs/tcs289.html#DantsinGHKKPRS02 %V 289

@article{journals/tcs/DantsinGHKKPRS02, added-at = {2023-12-13T02:10:53.000+0100}, author = {Dantsin, Evgeny and Goerdt, Andreas and Hirsch, Edward A. and Kannan, Ravi and Kleinberg, Jon M. and Papadimitriou, Christos H. and Raghavan, Prabhakar and Schöning, Uwe}, biburl = {https://www.bibsonomy.org/bibtex/217a8ee3c606f8c682e0be3e942b54e43/admin}, ee = {https://www.wikidata.org/entity/Q57904544}, interhash = {7bf4ed8f50bc8768340dbdc744c0f3b8}, intrahash = {17a8ee3c606f8c682e0be3e942b54e43}, journal = {Theor. Comput. Sci.}, keywords = {}, number = 1, pages = {69-83}, timestamp = {2023-12-13T02:10:53.000+0100}, title = {A deterministic (2-2/(k+1))n algorithm for k-SAT based on local search.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs289.html#DantsinGHKKPRS02}, volume = 289, year = 2002 }