Classifying Pattern and Feature Properties to Get a Θ(n) Checker and Reformulation for Sliding Time-Series Constraints. - Nicolas Beldiceanu; Mats Carlsson; Claude-Guy Quimper; Maria-Isabel Restrepo-Ruiz (CoRR, 2019)

Parameterised Bounds on the Sum of Variables in Time-Series Constraints. - Nicolas Beldiceanu; Maria-Isabel Restrepo-Ruiz; Helmut Simonis (CPAIOR, 2020)