Using clp(FD) to Support Air Traffic Flow Management

Denise Chemla , Daniel Diaz (1) , Philippe Kerlirzin (2) , Serge Manchon

1 CRI - Centre de Recherche en Informatique de Paris 1
2 Thomson CSF Laboratoire Central de Recherches

In this paper, a Constraint Logic Programming (CLP) approach is used to solve an Air Traffic Flow Management (ATFM) problem, the aircraft departure slot allocation. Moreover, our purpose is to show that CLP, combining the declarativity of logic programming with the efficiency of constraint solving, is well suited to model many combinatorial optimization problems involved in the ATFM domain. clp(FD), a Constraint Logic Programming language with Finite Domain constraints has been chosen to implement our practical application.

Domaines: Génie logiciel [cs.SE]

Denise Chemla, Daniel Diaz, Philippe Kerlirzin, Serge Manchon. Using clp(FD) to Support Air Traffic Flow Management. 3rd Practical Applications of Prolog (PAP), 1995, Paris, France. pp.ND. ⟨hal-00668327⟩