@inproceedings{kelsey11exact, author = {Tom Kelsey and Lars Kotthof\/f}, title = {Exact Closest String as a Constraint Satisfaction Problem}, year = {2011}, booktitle = {Proceedings of the International Conference on Computational Science}, pages = {1062--1071} }