Kelsey, Kotthoff, 2010. The Exact Closest String Problem as a Constraint Satisfaction Problem.