Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints

no code implementations • 15 Jan 2019 • 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.

Time Series Time Series Analysis

Global Constraint Catalog, Volume II, Time-Series Constraints

no code implementations • 26 Sep 2016 • Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis

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 scheme.

Time Series Time Series Analysis

The Inductive Constraint Programming Loop

no code implementations • 12 Oct 2015 • Christian Bessiere, Luc De Raedt, Tias Guns, Lars Kotthoff, Mirco Nanni, Siegfried Nijssen, Barry O'Sullivan, Anastasia Paparrizou, Dino Pedreschi, Helmut Simonis

Constraint programming is used for a variety of real-world optimisation problems, such as planning, scheduling and resource allocation problems.

BIG-bench Machine Learning Scheduling