Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators.

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Mara Andrena Francisco Rodrguez, Justin Pearson

Browse the full CP paper archive.