papers
Publications (5)
cs.AI2015
The Inductive Constraint Programming Loop
Christian Bessiere, Luc De Raedt, Tias Guns +7
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.DS2015
Bin Packing with Linear Usage Costs
Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan +1
cs.AI2018
Global Constraint Catalog, Volume II, Time-Series Constraints
Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence +5