An improved local search algorithm for 3-SAT


Brueggemann, Tobias and Kern, Walter (2004) An improved local search algorithm for 3-SAT. In: w. Electronic Notes in Discrete Mathematics, 17 . Elsevier, Workshop on Graphs and Combinatorial Optimization, pp. 69-73.

[img] PDF
Restricted to UT campus only

Item Type:Book Section
Copyright:© 2004 Elsevier
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page