Using clp(FD) to Support Air Traffic Flow Management
Denise Chemla, Daniel Díaz, Philippe Kerlirzin, Serge Manchon · 1995
Abstract. In this paper, a Constraint Logic Programming (CLP) ap-proach is used to solve an Air Traffic Flow Management (ATFM) prob-lem, 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 combina-torial 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. 1