10 citations · 12 across the 6 of their papers we have counts for
6 papers
Survey of Methods, Resources, and Formats for Teaching Constraint Programming
Tejas Santanam, Helmut Simonis
This paper provides an overview of the state of teaching for Constraint Programming, based on a survey of the community for the 2023 Workshop on Teaching Constraint Programming at…
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…
The Inductive Constraint Programming Loop
Christian Bessiere, Luc De Raedt, Tias Guns +7
Constraint programming is used for a variety of real-world optimisation problems, such as planning, scheduling and resource allocation problems. At the same time, one continuously…
Bin Packing with Linear Usage Costs
Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan +1
Bin packing is a well studied problem involved in many applications. The classical bin packing problem is about minimising the number of bins and ignores how the bins are utilised.…