Skip to Main content Skip to Navigation
Conference papers

AMONG Implied Constraints for Two Families of Time-Series Constraints

Abstract : We consider, for an integer time series, two families of constraints restricting the max, and the sum, respectively, of the surfaces of the elements of the sub-series corresponding to occurrences of some pattern. In recent work these families were identified as the most difficult to solve compared to all other time-series constraints. For all patterns of the time-series constraints catalogue, we provide a unique per family parameterised among implied constraint that can be imposed on any prefix/suffix of a time-series. Experiments show that it reduces both the number of backtracks/time spent by up to 4/3 orders of magnitude.
Document type :
Conference papers
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/hal-01651585
Contributor : Ekaterina Arafailova <>
Submitted on : Wednesday, November 29, 2017 - 10:57:56 AM
Last modification on : Wednesday, October 7, 2020 - 8:54:42 AM

File

paper.pdf
Files produced by the author(s)

Identifiers

Citation

Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis. AMONG Implied Constraints for Two Families of Time-Series Constraints. CP 2017 : 23rd International Conference on Principles and Practice of Constraint Programming, Aug 2017, Melbourne, Australia. ⟨10.1007/978-3-319-66158-2_3⟩. ⟨hal-01651585⟩

Share

Metrics

Record views

220

Files downloads

237