You are here

Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints

Authors: 

Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Maria Andreina Francisco Rodriguez, Justin Pearson, Helmut Simonis

Publication Type: 
Refereed Conference Meeting Proceeding
Abstract: 
Integer time series are often subject to constraints on the aggregation of the integer features of all occurrences of some pattern within the series. For example, the number of inflexions may be constrained, or the sum of the peak maxima, or the minimum of the peak widths. It is currently unknown how to maintain domain consistency efficiently on such constraints. We propose parametric ways of systematically deriving glue constraints, which are a particular kind of implied constraints, as well as aggregation bounds that can be added to the decomposition of time-series constraints [5]. We evaluate the beneficial propagation impact of the derived implied constraints and bounds, both alone and together.
Conference Name: 
Principles and Practice of Constraint Programming
Proceedings: 
Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings
Digital Object Identifer (DOI): 
10.1007/978-3-319-44953-1_2
Publication Date: 
23/08/2016
Conference Location: 
France
Institution: 
National University of Ireland, Cork (UCC)
Project Acknowledges: 
Open access repository: 
No