3-SAT $\in RTIME(O(1.32793^n))$: Improving randomized local search by initializing strings of 3-clauses

Daniel Rolf
Tech. report TR03-054, Electronic Colloq. on Computational Complexity, Jul 2003
http://www.eccc.uni-trier.de/eccc-reports/2003/TR03-054/index.html

Cites:

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