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

Propagators and Violation Functions for Geometric and Workload Constraints Arising in Airspace Sectorisation

no code implementations • 29 Jan 2014 • Pierre Flener, Justin Pearson

Airspace sectorisation provides a partition of a given airspace into sectors, subject to geometric constraints and workload constraints, so that some cost metric is minimised.

Propagating Regular Counting Constraints

no code implementations • 27 Sep 2013 • Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck

Constraints over finite sequences of variables are ubiquitous in sequencing and timetabling.