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
ATM: 20 ans d'effort et perspectives In Symposium de l'Académie Nationale de l'Air et de l'Espace: vers l, 2003. ,
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
Constraint Logic Programming using ECLiPSe, 2006. ,
DOI : 10.1017/CBO9780511607400
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.460.2981
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
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
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
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
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. ,
Combining flight level allocation with ground holding to optimize 4D-deconfliction ,
URL : https://hal.archives-ouvertes.fr/hal-00938500
Available at http://www.atmseminar.org/seminarContent/seminar9, Proceedings of ATM'11, the 9th USA, 2011. ,
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
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
Slot allocation with constraint programming: Models and results, Proceedings of ATM'01, the 4th USA, 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-00938015
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
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
Global Constraint Catalogue: Past, Present and Future, Constraints, vol.2, issue.1, pp.21-62, 2007. ,
DOI : 10.1007/s10601-006-9010-8
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
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
A tool to design functional airspace blocks, Proceedings of ATM'07, the 7th USA, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00938156
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. ,
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. ,
Boosting systematic search by weighting constraints, Proceedings of ECAI'04, the 16th European Conference on Artificial Intelligence, pp.146-150, 2004. ,
Shortest path in planar graph and air route network, Proceedings of INO'05, the 4th EUROCONTROL Innovative Research Workshop & Exhibition, 2005. ,
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
Edition 15.0, EUROCONTROL / Central Flow Management Unit, 2011. ,
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
Choco: An open source Java constraint programming library, 2010. ,
The challenge of managing airline delay costs, Air Traffic Management Economics, 2009. ,
Evaluating the true cost to airlines of one minute of airborne or ground delay: Final report, 2004. ,
Innovative slot allocation: an overview. EEC Note No. 10/01, EUROCONTROL Experimental Centre, 2001. ,
Airport surface management and runways scheduling, Proceedings of ATM'09, the 8th USA, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00940951
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. ,
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
Sector-less air traffic management, Proceedings of ATM'01, the 4th USA, 2001. ,
Initial results of investigation into autonomous aircraft concept (freer-1), Proceedings of ATM'97, the 1st USA, 1997. ,
Mixed conflict model for air traffic control, Interval Analysis, Constraint Propagation, Applications, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00941974
Air-traffic complexity resolution in multi-sector planning using constraint programming, Proceedings of ATM'07, the 7th USA, 2007. ,
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
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
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
Gecode: A generic constraint development environment, 2006. ,
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. ,
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
Tabu search, Modern Heuristic Techniques for Combinatorial Problems, pp.70-150, 1993. ,
URL : https://hal.archives-ouvertes.fr/hal-01412610
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
Optimal resolution of en route conflicts, Proceedings of ATM'01, the 4th USA, 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-00938232
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
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
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. ,
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
Integrated Methods for Optimization, 2007. ,
DOI : 10.1007/978-1-4614-1900-6
Stochastic Local Search, 2004. ,
DOI : 10.1201/9781420010749.ch19
Procedures for air navigation services ? Rules of the air and air traffic services. Document 4444, International Civil Aviation Organization, 1996. ,
Airspace sectorisation using constraint programming Master's thesis, Faculty of Science and Technology, 2011. ,
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
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. ,
Building and evaluating a minimal regulation scheme, Proceedings of ATM'00, the 3rd USA, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00938718
Optimization by Simulated Annealing, Science, vol.220, issue.4598, pp.671-680, 1983. ,
DOI : 10.1126/science.220.4598.671
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
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
Literature survey of trajectory predictor technology, 2010. ,
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
Complexity algorithm development: The algorithm, ) and QinetiQ, 2004. ,
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. ,
Generalized arc-consistency for global cardinality constraint, Proceedings of AAAI'96, the 13th (US) National Conference on Artificial Intelligence, pp.209-215, 1996. ,
Nogood recording for static and dynamic constraint satisfaction problems, International Journal of Artificial Intelligence Tools, vol.3, pp.48-55, 1993. ,
SESAR concept of operations, 2007. ,
EUROCONTROL long-term forecast: IFR flight movements, 2010. ,
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
Contingency plans for air traffic flow and capacity management, Proceedings of INO'10, the 9th EUROCONTROL Innovative Research Workshop & Exhibition, 2010. ,
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
Airspace sectorization with constraints, RAIRO Operations Research, vol.39, issue.2, pp.105-122, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00123795
Online stochastic combinatorial optimization, 2006. ,
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. ,
Constraint-Based Local Search, 2005. ,
Scheduling aircraft using constraint relaxation, Proceedings of the 22nd Workshop of the UK Planning and Scheduling Special Interest Group, 2003. ,
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
Automatisation du contrôle de la circulation aérienne : ERASMUS ? Une voie conviviale pour franchir le mur de la capacité, 2004. ,
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
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. ,