Constraint solving with bounded string variables

Joseph D. Scott, Pierre Flener, Justin Pearson
January 2015
PDF Cite DOI
Type
Conference paper
Publication
CP-AI-OR 2015