%0 Journal Article %1 journals/eccc/ECCC-TR03-072 %A Dantsin, Evgeny %A Hirsch, Edward A. %A Wolpert, Alexander %D 2003 %J Electron. Colloquium Comput. Complex. %K dblp %T Algorithms for SAT based on search in Hamming balls %U http://dblp.uni-trier.de/db/journals/eccc/eccc10.html#ECCC-TR03-072 %V TR03

@article{journals/eccc/ECCC-TR03-072, added-at = {2022-09-28T00:00:00.000+0200}, author = {Dantsin, Evgeny and Hirsch, Edward A. and Wolpert, Alexander}, biburl = {https://www.bibsonomy.org/bibtex/28961ffaf224c69eeb3b084d2a0c29114/dblp}, ee = {https://eccc.weizmann.ac.il/eccc-reports/2003/TR03-072/index.html}, interhash = {8007365eba5be36e26ba661245f7cbe4}, intrahash = {8961ffaf224c69eeb3b084d2a0c29114}, journal = {Electron. Colloquium Comput. Complex.}, keywords = {dblp}, timestamp = {2024-04-08T20:08:16.000+0200}, title = {Algorithms for SAT based on search in Hamming balls}, url = {http://dblp.uni-trier.de/db/journals/eccc/eccc10.html#ECCC-TR03-072}, volume = {TR03}, year = 2003 }