Invariants for time-series constraints

Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis. Invariants for time-series constraints. Constraints, 25(3-4):71-120, 2020. [doi]

Abstract

Abstract is missing.