papers
Publications (6)
cs.AI2013
Propagating Regular Counting Constraints
Nicolas Beldiceanu, Pierre Flener, Justin Pearson +1
cs.AI2019
Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints
Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
cs.FL2017
Deriving Generic Bounds for Time-Series Constraints Based on Regular Expressions Characteristics
Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
cs.AI2011
A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints: Revised Edition that Incorporates One Correction
Thierry Petit, Nicolas Beldiceanu, Xavier Lorca
cs.SE2002
Tracing and Explaining Execution of CLP(FD) Programs
Magnus Agren, Tamas Szeredi, Nicolas Beldiceanu +1
cs.AI2018
Global Constraint Catalog, Volume II, Time-Series Constraints
Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence +5