Slot allocation with constraint programming : models and results
type: Dataset
description: Current European Air Traffic Control system is far exceeded by the demand and the resulting delays are a financial and psychological burden for airlines and passengers. The Central Flow Management Unit, in charge of regulating the flights to respect en-route capacity constraints of Air Traffic Control Centres, uses a greedy algorithm to allocate departure slots which features several drawbacks concerning soundness, interpretation of the constraints and optimization. A new model taking advantage of Constraint Programming (CP) has been proposed within the SHAMAN system (from CENA) but still suffers from unevenly distributed workload and capacity violation. This paper presents two alternative models, also implemented using CP technology, of the slot allocation problem focused on the controllers workload: an extension of the SHAMAN model with a standard formulation, and a novel approach involving the sort constraint. Both of them can maintain workload constantly below a given capacity and the latter also provides efficient failure proof on over-constrained instances. The behaviours of the different models are discussed and results are presented with partial and full instances from real French air traffic data set. We eventually describe the potential operational improvement supplied by these continuous models.
issued: 2026-05-07T05:19:18.304644
language: en
modified: 2026-05-07T05:19:18.304649
contact point: Organization
  fn: CCSD
keyword: combinatorial-optimization
keyword: conference-papers
keyword: constraint-programming
keyword: infoeu-reposemanticsconferenceobject
keyword: mathmath-ocmathematics-mathoptimization-and-control-mathoc
keyword: modelling
keyword: slot-allocation
landing page: Europe Air Traffic Management Research and Development Seminar

Slot allocation with constraint programming : models and results
type: Distribution
format: HTML
issued: 2026-05-07T05:19:18.306111
modified: 2026-05-07T05:19:18.294130
access URL: https://enac.hal.science/hal-00938015

test_moissonnage_selune
type: Agent