%0 Journal Article %1 journals/eccc/ECCC-TR03-054 %A Rolf, Daniel %D 2003 %J Electronic Colloquium on Computational Complexity (ECCC) %K dblp %N 054 %T 3-SAT in RTIME(O(1.32793n)) - Improving Randomized Local Search by Initializing Strings of 3-Clauses %U http://dblp.uni-trier.de/db/journals/eccc/eccc10.html#ECCC-TR03-054

@article{journals/eccc/ECCC-TR03-054, added-at = {2018-08-14T00:00:00.000+0200}, author = {Rolf, Daniel}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2bbae18baecf3c0874df29d614244e25c/dblp}, ee = {http://eccc.hpi-web.de/eccc-reports/2003/TR03-054/index.html}, interhash = {c34339b7d7ce8eae791880219a350378}, intrahash = {bbae18baecf3c0874df29d614244e25c}, journal = {Electronic Colloquium on Computational Complexity (ECCC)}, keywords = {dblp}, number = 054, timestamp = {2019-09-27T08:33:30.000+0200}, title = {3-SAT in RTIME(O(1.32793n)) - Improving Randomized Local Search by Initializing Strings of 3-Clauses}, url = {http://dblp.uni-trier.de/db/journals/eccc/eccc10.html#ECCC-TR03-054}, year = 2003 }