10 citations · 10 across the 3 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2019
Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints
Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
Many constraints restricting the result of some computations over an integer sequence can be compactly represented by register automata. We improve the propagation of the conjuncti…
cs.AI2016★ 10 cited
Global Constraint Catalog, Volume II, Time-Series Constraints
Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence +5
First this report presents a restricted set of finite transducers used to synthesise structural time-series constraints described by means of a multi-layered function composition s…