Global Constraint Catalog Volume II: Time-Series Constraints

Arafailova, Ekaterina and Beldiceanu, Nicolas and Douence, Rémi and Carlsson, Mats and Flener, Pierre and Francisco Rodríguez, María Andreína and Pearson, Justin and Simonis, Helmut (2016) Global Constraint Catalog Volume II: Time-Series Constraints. arXiv. (Unpublished)

PDF (arXiv preprint arXiv:1609.08925) - Draft Version
Available under License Creative Commons Attribution Non-commercial Share Alike.


Official URL:


First this report presents a restricted set of finite transducers used to synthesise structural time-series constraints described by means of a multi-layered function composition scheme. Second it provides the corresponding synthesised catalogue of structural time-series constraints where each constraint is explicitly described in terms of automata with accumulators.

Item Type:Other
ID Code:6113
Deposited By:Mats Carlsson
Deposited On:14 Feb 2017 09:13
Last Modified:14 Feb 2017 09:13

Repository Staff Only: item control page