SODA

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

Arafailova, Ekaterina and Beldiceanu, Nicolas and Carlsson, Mats and Flener, Pierre and Francisco Rodríguez, María Andreína and Pearson, Justin and Simonis, Helmut (2016) Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints. In: International Conference on Principles and Practice of Constraint Programming (CP 2016), September 5-9, 2016, Toulouse, France.

Full text not available from this repository.

Official URL: http://link.springer.com/chapter/10.1007/978-3-319...

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. We evaluate the beneficial propagation impact of the derived implied constraints and bounds, both alone and together.

Item Type:Conference or Workshop Item (Paper)
ID Code:6112
Deposited By:Mats Carlsson
Deposited On:14 Feb 2017 09:13
Last Modified:14 Feb 2017 09:13

Repository Staff Only: item control page