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:
