Corpus ID: 16425172

Using clp(FD) to Support Air Traffic Flow Management

@inproceedings{Chemla1994UsingCT,
  title={Using clp(FD) to Support Air Traffic Flow Management},
  author={Denise Chemla and Daniel Diaz and Philippe Kerlirzin and Serge Manchon},
  year={1994}
}
  • Denise Chemla, Daniel Diaz, +1 author Serge Manchon
  • Published 1994
  • Mathematics
  • 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… CONTINUE READING

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    Figures and Tables from this paper.

    Citations

    Publications citing this paper.

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 17 REFERENCES

    Constraint Satisfaction in Logic Programming

    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL

    clp(FD) User’s Manual

    • D. Diaz
    • INRIA, Le Chesnay, France,
    • 1994

    wamcc Prolog Compiler User’s Manual

    • D. Diaz
    • INRIA, Le Chesnay, France,
    • 1994

    Airspace Management in Europe: issues and solutions

    • J. M. Garot
    • In IFORS 1993: 13th International Conference of Operational Research, Lisbon, Portugal,
    • 1993

    and D

    • P. Codogne
    • Diaz. Compiling constraints in clp(FD), draft,
    • 1993
    VIEW 3 EXCERPTS

    Modelisation of terminal zone aircraft sequencing in constraint logic programming

    • J. Jourdan
    • 1992

    and P

    • M. Bonnard, S. Manchon
    • Planchon. Bilan des études de la division AOC sur la régulation du trafic aérien,
    • 1992