Constraint Solving on Bounded String Variables.

Joseph D. Scott, Pierre Flener, Justin Pearson

Browse the full CPAIOR paper archive.