research
∙
01/15/2019
Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints
Many constraints restricting the result of some computations over an int...
share
research
∙
09/26/2016
Global Constraint Catalog, Volume II, Time-Series Constraints
First this report presents a restricted set of finite transducers used t...
research
∙
10/12/2015
