A. Aggoun and N. Beldiceanu, Extending chip in order to solve complex scheduling and placement problems, Mathematical and Computer Modelling, vol.17, issue.7, pp.57-73, 1993.
DOI : 10.1016/0895-7177(93)90068-A

URL : https://hal.archives-ouvertes.fr/hal-00442821

J. Alliot and D. Colin-deverdì-ere, ATM: 20 ans d'effort et perspectives In Symposium de l'Académie Nationale de l'Air et de l'Espace: vers l, 2003.

J. Alliot, N. Durand, and G. Granger, A statistical analysis of the influence of vertical and ground speed errors on conflict probe, Proceedings of ATM'01, the 4th USA, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00938005

K. R. Apt and M. Wallace, Constraint Logic Programming using ECLiPSe, 2006.
DOI : 10.1017/CBO9780511607400

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.460.2981

K. Artiouchine, P. Baptiste, and C. Dürr, Runway sequencing with holding patterns, Proceedings of the 2nd International Workshop on Discrete Optimization Methods in Production and Logistics, pp.1254-1266, 2004.
DOI : 10.1016/j.ejor.2006.06.076

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.5753

K. Artiouchine, P. Baptiste, and J. Mattioli, King Problem, an Abstract Model for Computing Aircraft Landing Trajectories: On Modeling a Dynamic Hybrid System with Constraints, INFORMS Journal on Computing, vol.20, issue.2, pp.222-233, 2008.
DOI : 10.1287/ijoc.1070.0234

P. Baptiste, C. L. Pape, and W. Nuijten, Constraint-Based Scheduling: Applying Constraint Programming to Scheduling Problems, 2001.
DOI : 10.1007/978-1-4615-1479-4

URL : https://hal.archives-ouvertes.fr/inria-00123562

C. Barnhart, P. Belobaba, and A. R. Odoni, Applications of Operations Research in the Air Transport Industry, Transportation Science, vol.37, issue.4, pp.368-391, 2003.
DOI : 10.1287/trsc.37.4.368.23276

N. Barnier, Application de la programmation par contraintesàcontraintes`contraintesà desprobì emes de gestion du trafic aérien Available at http://pom.tls.cena.fr/papers/thesis/barnier.pdf. c. allignol, n. barnier, p. flener, and j. pearson N. Barnier and C. Allignol. 4D-trajectory deconfliction through departure time adjustment, Proceedings of ATM'09, the 8th USA, 2002.

N. Barnier and C. , Combining flight level allocation with ground holding to optimize 4D-deconfliction
URL : https://hal.archives-ouvertes.fr/hal-00938500

S. In, V. Saunders-hodge, and . Duong, Available at http://www.atmseminar.org/seminarContent/seminar9, Proceedings of ATM'11, the 9th USA, 2011.

N. Barnier and C. , Trajectory deconfliction with constraint programming, 2012. Special Issue on Constraint Programming for Air Traffic Management
DOI : 10.1016/0004-3702(92)90006-J

URL : https://hal.archives-ouvertes.fr/hal-00935206

N. Barnier and P. Brisset, Graph Coloring for Air Traffic Flow Management, Annals of Operations Research, vol.130, issue.1-4, pp.163-178, 2004.
DOI : 10.1023/B:ANOR.0000032574.01332.98

URL : https://hal.archives-ouvertes.fr/hal-00938022

N. Barnier, P. Brisset, and T. Rivì-ere, Slot allocation with constraint programming: Models and results, Proceedings of ATM'01, the 4th USA, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00938015

A. M. Bayen, C. J. Tomlin, Y. Ye, and J. Zhang, An approximation algorithm for scheduling aircraft with holding time, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601), pp.2760-2767, 2004.
DOI : 10.1109/CDC.2004.1428880

N. Beldiceanu, M. Carlsson, and T. Petit, Deriving Filtering Algorithms from Constraint Checkers, Proceedings of CP'04, the 10th International Conference on Principles and Practice of Constraint Programming, pp.107-122, 2004.
DOI : 10.1007/978-3-540-30201-8_11

N. Beldiceanu, M. Carlsson, and J. Rampon, Global Constraint Catalogue: Past, Present and Future, Constraints, vol.2, issue.1, pp.21-62, 2007.
DOI : 10.1007/s10601-006-9010-8

M. E. Berge, A. Haraldsdottir, and J. Scharl, The Multiple Runway Planner (MRP): Modeling and Analysis for Arrival Planning, 2006 ieee/aiaa 25TH Digital Avionics Systems Conference, pp.1-11, 2006.
DOI : 10.1109/DASC.2006.313684

D. Bertsimas and S. Stock-patterson, The Air Traffic Flow Management Problem with Enroute Capacities, Operations Research, vol.46, issue.3, pp.406-422, 1998.
DOI : 10.1287/opre.46.3.406

C. Bichot and N. Durand, A tool to design functional airspace blocks, Proceedings of ATM'07, the 7th USA, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00938156

N. Bleuzen-guernalec and A. Colmerauer, Narrowing a 2n-block of sorting in O(n log n), Proceedings of CP'97, the 3rd International Conference on Principles and Practice of Constraint Programming, 1997.

C. Bontemps and K. Guittet, Commentaires sur l'´ etude de l'Université de Westminster portant sur les coûts des délais ATC. Note technique, Centre d' ´ Etudes de la Navigation Aérienne, 2004.

F. Boussemart, F. Hemery, C. Lecoutre, and L. Sais, Boosting systematic search by weighting constraints, Proceedings of ECAI'04, the 16th European Conference on Artificial Intelligence, pp.146-150, 2004.

P. Brisset and T. Rivì-ere, Shortest path in planar graph and air route network, Proceedings of INO'05, the 4th EUROCONTROL Innovative Research Workshop & Exhibition, 2005.

M. Carlsson, G. Ottosson, and B. Carlson, An open-ended finite domain constraint solver, Proceedings of PLILP'97, pp.191-206, 1997.
DOI : 10.1007/BFb0033845

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.3107

C. Basic, C. Handbook, ?. General, and &. Systems, Edition 15.0, EUROCONTROL / Central Flow Management Unit, 2011.

D. Chemla, D. Diaz, P. Kerlirzin, and S. Manchon, Using clp(FD) to support air traffic flow management, Proceedings of PAP'95, the 3rd international conference on Practical Applications of Prolog, 1995.
URL : https://hal.archives-ouvertes.fr/hal-00668327

C. Team, Choco: An open source Java constraint programming library, 2010.

A. J. Cook and G. Tanner, The challenge of managing airline delay costs, Air Traffic Management Economics, 2009.

A. J. Cook, G. Tanner, and S. Anderson, Evaluating the true cost to airlines of one minute of airborne or ground delay: Final report, 2004.

M. Dalichampt, E. Petit, U. Junker, and J. Lebreton, Innovative slot allocation: an overview. EEC Note No. 10/01, EUROCONTROL Experimental Centre, 2001.

R. Deau, J. Gotteland, and N. Durand, Airport surface management and runways scheduling, Proceedings of ATM'09, the 8th USA, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00940951

J. Degrand, E. Mercier, J. Pearson, D. Delahaye, J. Alliot et al., Load capacity constraint regulation Available at http://www.eurocontrol.int/eec/gallery/content/public/document Genetic algorithms for automatic regroupment of air traffic control sectors, Proceedings of the 4th Annual Conference on Evolutionary Programming (EP'95), 1995.

D. Delahaye, M. Schoenauer, and J. Alliot, Airspace sectoring by evolutionary computation, 1998 IEEE International Conference on Evolutionary Computation Proceedings. IEEE World Congress on Computational Intelligence (Cat. No.98TH8360), pp.218-223, 1998.
DOI : 10.1109/ICEC.1998.699504

URL : https://hal.archives-ouvertes.fr/hal-00937715

V. Duong, G. Gawinowski, J. Nicolaon, and D. Smith, Sector-less air traffic management, Proceedings of ATM'01, the 4th USA, 2001.

V. N. Duong, E. Hoffman, and J. Nicolaon, Initial results of investigation into autonomous aircraft concept (freer-1), Proceedings of ATM'97, the 1st USA, 1997.

T. Feydy, N. Barnier, P. Brisset, and N. Durand, Mixed conflict model for air traffic control, Interval Analysis, Constraint Propagation, Applications, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00941974

P. Flener, J. Pearson, M. Agren, C. Garcia-avello, M. et al., Air-traffic complexity resolution in multi-sector planning using constraint programming, Proceedings of ATM'07, the 7th USA, 2007.

P. Flener, J. Pearson, M. Agren, C. Garcia-avello, M. et al., Air-traffic complexity resolution in multi-sector planning, Journal of Air Transport Management, vol.13, issue.6, pp.323-328, 2007.
DOI : 10.1016/j.jairtraman.2007.05.001

E. C. Freuder and M. Wallace, Constraint technology and the commercial world [Interview], IEEE Intelligent Systems and their Applications, vol.15, issue.1, pp.20-23, 2000.
DOI : 10.1109/MIS.2000.820324

M. Garcia-de-la-banda, K. Marriott, R. Rafeh, and M. Wallace, The Modelling Language Zinc, Proceedings of CP'06, the 12th International Conference on Principles and Practice of Constraint Programming, pp.700-705, 2006.
DOI : 10.1007/11889205_54

G. Team, Gecode: A generic constraint development environment, 2006.

D. Gianazza and K. Guittet, Selection and evaluation of air traffic complexity metrics Constraint programming for air traffic management: A survey 35, Proceedings of DASC'06, the 25th Digital Avionics Systems Conference. IEEE, 2006.

J. Gianazza, G. Alliot, and . Granger, Optimal combinations of air traffic control sectors using classical and stochastic methods, The 2002 International Conference on Artificial Intelligence IC-AI'02, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00990320

F. Glover and M. Laguna, Tabu search, Modern Heuristic Techniques for Combinatorial Problems, pp.70-150, 1993.
URL : https://hal.archives-ouvertes.fr/hal-01412610

A. Gotlieb, TCAS software verification using constraint programming, 2012. Special Issue on Constraint Programming for Air Traffic Manage- ment
DOI : 10.1109/TSE.2004.22

URL : https://hal.archives-ouvertes.fr/hal-00807905

G. Granger, N. Durand, and J. Alliot, Optimal resolution of en route conflicts, Proceedings of ATM'01, the 4th USA, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00938232

L. Granvilliers and F. Benhamou, Algorithm 852, ACM Transactions on Mathematical Software, vol.32, issue.1, pp.138-156, 2006.
DOI : 10.1145/1132973.1132980

URL : https://hal.archives-ouvertes.fr/hal-00480813

F. H. Bijarbooneh, P. Flener, and J. Pearson, Dynamic Demand-Capacity Balancing for Air Traffic Management Using Constraint-Based Local Search: First Results, Proceedings of LSCS'09, the 6th International Workshop on Local Search Techniques in Constraint Satisfaction of Electronic Proceedings in Theoretical Computer Science Proceedings of INO'09, the 8th EUROCONTROL Innovative Research Workshop & Exhibition, pp.27-40, 2009.
DOI : 10.4204/EPTCS.5.3

D. W. Hildum and S. F. Smith, Constructing conflict-free schedules in space and time, Proceedings of ICAPS'07, the 17th International Conference on Automated Planning and Scheduling, pp.184-191, 2007.

D. W. Hildum and S. F. Smith, Scheduling safe movement of air traffic in crowded air spaces, 2012. Special Issue on Constraint Programming for Air Traffic Management
DOI : 10.1145/280277.280279

J. N. Hooker, Integrated Methods for Optimization, 2007.
DOI : 10.1007/978-1-4614-1900-6

H. H. Hoos and T. Stützle, Stochastic Local Search, 2004.
DOI : 10.1201/9781420010749.ch19

. Icao, Procedures for air navigation services ? Rules of the air and air traffic services. Document 4444, International Civil Aviation Organization, 1996.

P. Jägare, Airspace sectorisation using constraint programming Master's thesis, Faculty of Science and Technology, 2011.

U. Junker, Air traffic flow management with heuristic repair, 2012. Special Issue on Constraint Programming for Air Traffic Management
DOI : 10.1016/0004-3702(92)90007-K

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.183.8646

R. Pearson, L. P. Kameugne, J. Fotso, Y. Scott, and . Ngo-kateu, A quadratic edge-finding filtering algorithm for cumulative resource constraints, Proceedings of CP'11, the 17th International Conference on Principles and Practice of Constraint Programming, pp.478-492, 2011.

P. Kerlirzin, S. Manchon, C. Plusquellec, and J. Gotteland, Building and evaluating a minimal regulation scheme, Proceedings of ATM'00, the 3rd USA, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00938718

S. Kirkpatrick, C. D. Gelatt, J. , and M. P. Vecchi, Optimization by Simulated Annealing, Science, vol.220, issue.4598, pp.671-680, 1983.
DOI : 10.1126/science.220.4598.671

P. Leal-de-matos and R. Ormerod, The application of operational research to European air traffic flow management ??? understanding the context, European Journal of Operational Research, vol.123, issue.1, pp.125-144, 2000.
DOI : 10.1016/S0377-2217(99)00084-3

P. Leal-de-matos and P. Powell, Decision support for flight re-routing in Europe, Decision Support Systems, vol.34, issue.4, pp.397-412, 2003.
DOI : 10.1016/S0167-9236(02)00066-0

B. Musialek, C. F. Munafo, H. Ryan, and M. Paglione, Literature survey of trajectory predictor technology, 2010.

G. Pesant, A Regular Language Membership Constraint for Finite Sequences of Variables, Proceedings of CP'04, the 10th International Conference on Principles and Practice of Constraint Programming, pp.482-495, 2004.
DOI : 10.1007/978-3-540-30201-8_36

. Qinetiq, Complexity algorithm development: The algorithm, ) and QinetiQ, 2004.

J. Régin, A filtering algorithm for constraints of difference in CSPs, Proceedings of AAAI'94, the 12th (US) National Conference on Artificial Intelligence, pp.362-367, 1994.

J. Régin, Generalized arc-consistency for global cardinality constraint, Proceedings of AAAI'96, the 13th (US) National Conference on Artificial Intelligence, pp.209-215, 1996.

T. Schiex and G. Verfaillie, Nogood recording for static and dynamic constraint satisfaction problems, International Journal of Artificial Intelligence Tools, vol.3, pp.48-55, 1993.

S. Consortium, SESAR concept of operations, 2007.

. Statfor, EUROCONTROL long-term forecast: IFR flight movements, 2010.

K. S. Blomdahl, P. Flener, and J. Pearson, Contingency Plans for Air Traffic Management, Proceedings of CP'10, the 16th International Conference on Principles and Practice of Constraint Programming, pp.643-657, 2010.
DOI : 10.1007/978-3-642-15396-9_50

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.168.5870

K. S. Blomdahl, P. Flener, and J. Pearson, Contingency plans for air traffic flow and capacity management, Proceedings of INO'10, the 9th EUROCONTROL Innovative Research Workshop & Exhibition, 2010.

K. S. Blomdahl, P. Flener, and J. Pearson, Contingency plans for air traffic flow and capacity management using constraint programming Forthcoming, Journal of Aerospace Operations, vol.1, 2012.
DOI : 10.1007/978-3-642-15396-9_50

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.168.5870

H. , T. Dac, P. Baptiste, and V. Duong, Airspace sectorization with constraints, RAIRO Operations Research, vol.39, issue.2, pp.105-122, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00123795

P. Van-hentenryck and R. Bent, Online stochastic combinatorial optimization, 2006.

P. Van-hentenryck and J. Carillon, Generality versus specificity: An experience with AI and OR techniques, Proceedings of AAAI'88, the 7th (US) National Conference on Artificial Intelligence, pp.660-664, 1988.

P. Van-hentenryck and L. Michel, Constraint-Based Local Search, 2005.

P. Van-leeuwen, N. Van-hanxleden, and . Houwert, Scheduling aircraft using constraint relaxation, Proceedings of the 22nd Workshop of the UK Planning and Scheduling Special Interest Group, 2003.

A. Vela, S. Solak, E. Féron, K. Feigh, W. Singhose et al., A fuel optimal and reduced controller workload optimization model for conflict resolution, 2009 IEEE/AIAA 28th Digital Avionics Systems Conference, 2009.
DOI : 10.1109/DASC.2009.5347517

J. Villiers, Automatisation du contrôle de la circulation aérienne : ERASMUS ? Une voie conviviale pour franchir le mur de la capacité, 2004.

M. Wallace, Hybrid Algorithms in Constraint Programming, Selected and Invited Papers of CSCLP'06, pp.1-32, 2007.
DOI : 10.1007/978-3-540-73817-6_1

M. Wallace, Constraint programming ? The paradigm to watch Special Issue on the Next 10 Years of Constraint Programming, Constraint Programming Letters, vol.1, pp.7-13, 2007.