Systematic derivation of bounds and glue constraints for time-series constraints

Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Maria Andreina Francisco Rodriguez, Justin Pearson, Helmut Simonis
January 2016
PDF Cite DOI
Type
Conference paper
Publication
CP 2016