TY - RPRT TI - The Exact Closest String Problem as a Constraint Satisfaction Problem AU - Tom Kelsey AU - Lars Kotthoff PY - 2010 UR - https://arxiv.org/abs/1005.0089 ID - 1005.0089 ER -