18 citations · 37 across the 7 of their papers we have counts for
8 papers
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…
MiniZinc with Strings
Roberto Amadini, Pierre Flener, Justin Pearson +3
Strings are extensively used in modern programming languages and constraints over strings of unknown length occur in a wide range of real-world applications such as software analys…
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…
Automatic Airspace Sectorisation: A Survey
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 s…
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…