TY  - RPRT
TI  - Classifying Pattern and Feature Properties to Get a $Θ(n)$ Checker and Reformulation for Sliding Time-Series Constraints
AU  - Nicolas Beldiceanu
AU  - Mats Carlsson
AU  - Claude-Guy Quimper
AU  - Maria-Isabel Restrepo-Ruiz
PY  - 2019
UR  - https://arxiv.org/abs/1912.01532
ID  - 1912.01532
ER  -