Solving string constraints: The case for constraint programming

Jun He, Pierre Flener, Justin Pearson, Wei Ming Zhang
January 2013
PDF Cite DOI
Type
Conference paper
Publication
CP 2013