Propagators and Violation Functions for Geometric and Workload   Constraints Arising in Airspace Sectorisation
  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 make a study of the constraints that arise in airspace sectorisation. For each constraint, we give an analysis of what algorithms and properties are required under systematic search and stochastic local search. 
Pierre Flener and Justin Pearson
cs.AI