Rol-ECCC-03

@techreport{Rol-ECCC-03,
title = {3-SAT $\in RTIME(O(1.32793^n))$: Improving randomized local search by initializing strings of 3-clauses},
author = {Daniel Rolf},
institution = {Electronic Colloq. on Computational Complexity},
number = {TR03-054},
month = {Jul},
year = {2003},
url = {http://www.eccc.uni-trier.de/eccc-reports/2003/TR03-054/index.html}}

Fano Experimental Web Server, D. Eppstein, School of Information & Computer Science, UC Irvine
Made on a Mac Valid XHTML 1.0!