10 citations · 15 across the 7 of their papers we have counts for
8 papers
Generalised Arc Consistency via the Synchronised Product of Finite Automata wrt a Constraint
Nicolas Beldiceanu
Given an by matrix of domain variables (with from to and from to ), where each row must be accepted by a specified Deterministic Fi…
Classifying Pattern and Feature Properties to Get a Checker and Reformulation for Sliding Time-Series Constraints
Nicolas Beldiceanu, Mats Carlsson, Claude-Guy Quimper +1
Given, a sequence of variables, a time-series constraint ctr using the Sum aggregator, and a sliding time-series constraint enforcing the constraint ctr on each s…
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…
Deriving Generic Bounds for Time-Series Constraints Based on Regular Expressions Characteristics
Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
We introduce the concept of regular expression characteristics as a unified way to concisely express bounds on time-series constraints. This allows us not only to define time-serie…
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…
Propagating Regular Counting Constraints
Nicolas Beldiceanu, Pierre Flener, Justin Pearson +1
Constraints over finite sequences of variables are ubiquitous in sequencing and timetabling. Moreover, the wide variety of such constraints in practical applications led to general…