Tobias Brüggemann, Walter Kern. An improved deterministic local search algorithm for 3-SAT. Theoretical Computer Science, 329(1-3):303-313, 2004. [doi]
@article{BrueggemannK04, title = {An improved deterministic local search algorithm for 3-SAT}, author = {Tobias Brüggemann and Walter Kern}, year = {2004}, doi = {10.1016/j.tcs.2004.08.002}, url = {http://dx.doi.org/10.1016/j.tcs.2004.08.002}, tags = {search}, researchr = {https://researchr.org/publication/BrueggemannK04}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {329}, number = {1-3}, pages = {303-313}, }