# An improved local search algorithm for 3-SAT

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

 Preview

204kB
 Abstract: We slightly improve the pruning technique presented in Dantsin et. al. (2002) to obtain an 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: BibTeXEndNoteHTML CitationReference Manager

Repository Staff Only: item control page