Linking prefixes and suffixes for constraints encoded using automata with accumulators

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Maria Andreina Francisco Rodriguez, Justin Pearson
January 2014
PDF Cite DOI
Type
Conference paper
Publication
CP 2014