Evgeny Dantsin, Edward A. Hirsch, Alexander Wolpert. Algorithms for SAT based on search in Hamming balls. Electronic Colloquium on Computational Complexity (ECCC), (072), 2003. [doi]
@article{ECCC-TR03-072,
title = {Algorithms for SAT based on search in Hamming balls},
author = {Evgeny Dantsin and Edward A. Hirsch and Alexander Wolpert},
year = {2003},
url = {http://eccc.hpi-web.de/eccc-reports/2003/TR03-072/index.html},
tags = {rule-based, search},
researchr = {https://researchr.org/publication/ECCC-TR03-072},
cites = {0},
citedby = {0},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
number = {072},
}