Solving String Constraints: The Case for Constraint Programming.

Jun He, Pierre Flener, Justin Pearson, Weiming Zhang

Browse the full CP paper archive.