Propagators and Violation Functions for Geometric and Workload Constraints Arising in Airspace Sectorisation | Read Paper on Bytez