Mini­Zinc with strings

Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack
January 2017
PDF Cite DOI
Type
Conference paper
Publication
LOPSTR 2016: Revised Selected Papers