MiniZinc with Strings.

Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack

Browse the full LOPSTR paper archive.