18 citations · 37 across the 7 of their papers we have counts for
6 papers · 1 filter
A Commentary on "Breaking Row and Column Symmetries in Matrix Models"
Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan +2
The CP 2002 paper entitled "Breaking Row and Column Symmetries in Matrix Models" by Flener et al. (https://link.springer.com/chapter/10.1007%2F3-540-46135-3_31) describes some of t…
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…
Propagators and Violation Functions for Geometric and Workload Constraints Arising in Airspace Sectorisation
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. We m…
Propagating Regular Counting Constraints
Nicolas Beldiceanu, Pierre Flener, Justin Pearson +1
Constraints over finite sequences of variables are ubiquitous in sequencing and timetabling. Moreover, the wide variety of such constraints in practical applications led to general…
Toward an automaton Constraint for Local Search
Jun He, Pierre Flener, Justin Pearson
We explore the idea of using finite automata to implement new constraints for local search (this is already a successful technique in constraint-based global search). We show how i…
Dynamic Demand-Capacity Balancing for Air Traffic Management Using Constraint-Based Local Search: First Results
Farshid Hassani Bijarbooneh, Pierre Flener, Justin Pearson
Using constraint-based local search, we effectively model and efficiently solve the problem of balancing the traffic demands on portions of the European airspace while ensuring tha…