An improved local search algorithm for 3-SAT

Share/Save/Bookmark

Brueggemann, T. and Kern, W. (2004) An improved local search algorithm for 3-SAT. [Report]

open access
[img]
Preview
PDF
204kB
Abstract:
We slightly improve the pruning technique presented in Dantsin et. al. (2002) to obtain an $\mathcal{O}^*\left(1.473^n\right)$ algorithm for 3-SAT.
Item Type:Report
Additional information:Imported from MEMORANDA
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/65894
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page