The Tail Assignment Problem

The Aircraft Assignment problem is the problem of assigning flights to aircraft in such a way that some operational constraints are satisfied, and possibly that some objective function is optimized. We propose an approach to aircraft assignment which captures all operational constraints, including minimum connection times, airport curfews, maintenance, and preassigned activities. It also allows multiple fleet optimization, and can model various types of objective functions, which sets it apart from most other aircraft assignment approaches. The name we have chosen for our approach is the Tail Assignment problem. The tail assignment problem is general in the sense that it can model the entire aircraft planning process, from fleet assignment to the day of operation. We develop solution methods based on mathematical programming and constraint programming, and also show how the methods can be combined. The resulting hybrid solution method is general in the sense that it can be used both to quickly find initial solutions and to find close to optimal solutions, if longer running times are allowed. We present a mathematical programming approach based on column generation, conduct thorough computational experiments to show the impact of various implementation choices on running time and convergence, and present heuristics to find integer solutions. We show how constraint programming can be used stand-alone to quickly produce solutions to the tail assignment problem, and to substantially improve the computational performance of the column generation algorithm. Preprocessing algorithms based on constraint programming are presented that can reduce the size of the problem substantially more than standard balance-based preprocessing, resulting in major speedups and increased solution quality. Our complete solution approach combines column generation, constraint programming and local search. Finally, as proof of concept, we present modeling examples and computational results for a selection of real-world tail assignment instances, demonstrating how our model and solution methods can be used to increase operational robustness, enforce equal aircraft utilization, and decrease aircraft leasing costs. Our tail assignment system is currently in use at two medium-sized airlines.

[1]  Jacques Desrosiers,et al.  Crew Pairing at Air France , 1993 .

[2]  Panagiotis Stamatopoulos,et al.  Crew Assignment via Constraint Programming: Integrating Column Generation and Heuristic Tree Search , 2002, Ann. Oper. Res..

[3]  M. Minoux,et al.  A new approach for crew pairing problems by column generation with an application to air transportation , 1988 .

[4]  M. Desrochers,et al.  A Generalized Permanent Labelling Algorithm For The Shortest Path Problem With Time Windows , 1988 .

[5]  José M. Valério de Carvalho,et al.  Using Extra Dual Cuts to Accelerate Column Generation , 2005, INFORMS J. Comput..

[6]  Mark Wallace,et al.  Towards a closer integration of finite domainpropagation and simplex-based algorithms , 1998, Ann. Oper. Res..

[7]  James B. Orlin,et al.  A Scaling Algorithm for Multicommodity Flow Problems , 2018, Oper. Res..

[8]  Thomas C. Henderson,et al.  Arc and Path Consistency Revisited , 1986, Artif. Intell..

[9]  Srini Ramaswamy,et al.  Airline Crew Scheduling with Regularity , 2001, Transp. Sci..

[10]  Cynthia Barnhart,et al.  Applications of Operations Research in the Air Transport Industry , 2003, Transp. Sci..

[11]  George L. Nemhauser,et al.  A Stochastic Model of Airline Operations , 2002, Transp. Sci..

[12]  Gang Yu,et al.  System Operations Advisor: A Real-Time Decision Support System for Managing Airline Operations at United Airlines , 1996 .

[13]  Barry C. Smith,et al.  Yield Management at American Airlines , 1992 .

[14]  Andreas Löbel,et al.  Experiments with a Dantzig-Wolfe Decomposition for Multiple-Depot Vehicle Scheduling Problems , 1997 .

[15]  Matthew E. Berge,et al.  Demand Driven Dispatch: A Method for Dynamic Aircraft Capacity Assignment, Models and Algorithms , 1993, Oper. Res..

[16]  Ugo Montanari,et al.  Networks of constraints: Fundamental properties and applications to picture processing , 1974, Inf. Sci..

[17]  Jean-Charles Régin,et al.  Arc Consistency for Global Cardinality Constraints with Costs , 1999, CP.

[18]  Jacques Desrosiers,et al.  The Operational Airline Crew Scheduling Problem , 1997, Transp. Sci..

[19]  Pascal Van Hentenryck,et al.  A Generic Arc-Consistency Algorithm and its Specializations , 1992, Artif. Intell..

[20]  Jeffrey I. McGill,et al.  Revenue Management: Research Overview and Prospects , 1999, Transp. Sci..

[21]  Erik Andersson,et al.  Crew Pairing Optimization , 1998 .

[22]  Amos Levin Scheduling and Fleet Routing Models for Transportation Systems , 1971 .

[23]  Leif H. Appelgren,et al.  A Column Generation Algorithm for a Ship Scheduling Problem , 1969 .

[24]  Michela Milano,et al.  The Role of Integer Programming Techniques in Constraint Programming's Global Constraints , 2002, INFORMS J. Comput..

[25]  George L. Nemhauser,et al.  The fleet assignment problem: Solving a large-scale integer program , 1995, Math. Program..

[26]  Cynthia Barnhart,et al.  Airline Schedule Planning: Integrated Models and Algorithms for Schedule Design and Fleet Assignment , 2004, Transp. Sci..

[27]  Shashi S Nambisan,et al.  A Decision–Support Tool for Airline Yield Management Using Genetic Algorithms , 2003 .

[28]  Arjang A. Assad,et al.  Multicommodity network flows - A survey , 1978, Networks.

[29]  Warren B. Powell,et al.  Multicommodity network flows: The impact of formulation on decomposition , 1993, Math. Program..

[30]  Ken Darby-Dowman,et al.  Properties of Some Combinatorial Optimization Problems and Their Effect on the Performance of Integer Programming and Constraint Logic Programming , 1998, INFORMS J. Comput..

[31]  R. McBride,et al.  Solving embedded generalized network problems , 1985 .

[32]  Richard D. McBride,et al.  Advances in Solving the Multicommodity-Flow Problem , 1998, Interfaces.

[33]  Michael Jünger,et al.  Rotation Planning for the Continental Service of a European Airline , 2003 .

[34]  George L. Nemhauser,et al.  Airline Crew Recovery , 2000, Transp. Sci..

[35]  Michel Gamache,et al.  A METHOD FOR OPTIMALLY SOLVING THE ROSTERING PROBLEM , 1993 .

[36]  Jian Liu,et al.  Solving Multi-Criteria Through-Fleet Assignment Models , 2003 .

[37]  Shirley Dex,et al.  JR 旅客販売総合システム(マルス)における運用及び管理について , 1991 .

[38]  J. Desrosiers,et al.  A Primer in Column Generation , 2005 .

[39]  Christian Bessiere,et al.  Refining the Basic Constraint Propagation Algorithm , 2001, JFPLC.

[40]  Francisco Barahona,et al.  The volume algorithm: producing primal solutions with a subgradient method , 2000, Math. Program..

[41]  John-Paul Clarke,et al.  MEANS—MIT Extensible Air Network Simulation , 2007, Simul..

[42]  Paolo Toth,et al.  A Survey of Optimization Models for Train Routing and Scheduling , 1998, Transp. Sci..

[43]  Michel Gendreau,et al.  Solving small VRPTWs with Constraint Programming Based Column Generation , 2022 .

[44]  M. Ožana,et al.  Large Scale Crew Rostering , 2003 .

[45]  Jacques Desrosiers,et al.  Daily Aircraft Routing and Scheduling , 1994 .

[46]  Samir Elhedhli,et al.  The integration of an interior-point cutting plane method within a branch-and-price algorithm , 2004, Math. Program..

[47]  Giorgio Gallo,et al.  A Bundle Type Dual-Ascent Approach to Linear Multicommodity Min-Cost Flow Problems , 1999, INFORMS J. Comput..

[48]  Nicolas Beldiceanu,et al.  Extending CHIP in order to solve complex scheduling and placement problems , 1993, JFPL.

[49]  Cynthia Barnhart,et al.  Itinerary-Based Airline Fleet Assignment , 2002, Transp. Sci..

[50]  Janakiram Subramanian,et al.  Airline Yield Management with Overbooking, Cancellations, and No-Shows , 1999, Transp. Sci..

[51]  Alon Itai,et al.  On the Complexity of Timetable and Multicommodity Flow Problems , 1976, SIAM J. Comput..

[52]  Stefan E. Karisch,et al.  A Framework for Constraint Programming Based Column Generation , 1999, CP.

[53]  Simon P. Wilson,et al.  Global optimization approaches to an aircraft routing problem , 2003, Eur. J. Oper. Res..

[54]  Daniele Vigo,et al.  Solving TSP through the Integration of OR and CP Techniques , 1999, Electron. Notes Discret. Math..

[55]  George L. Nemhauser,et al.  Airline Crew Scheduling Under Uncertainty , 2005, Transp. Sci..

[56]  Patrick Prosser,et al.  Solving Vehicle Routing Problems Using Constraint Programming and Metaheuristics , 2000, J. Heuristics.

[57]  Mark S. Daskin,et al.  A Lagrangian Relaxation Approach to Assigning Aircraft to Routes in Hub and Spoke Networks , 1989, Transp. Sci..

[58]  D. Klabjan,et al.  Integrated Airline Planning , 2004 .

[59]  J. A. Tomlin,et al.  Minimum-Cost Multicommodity Network Flows , 1966, Oper. Res..

[60]  Matthew L. Ginsberg,et al.  Limited Discrepancy Search , 1995, IJCAI.

[61]  Guy Desaulniers,et al.  Dynamic Aggregation of Set-Partitioning Constraints in Column Generation , 2003, Oper. Res..

[62]  Rajan Batta,et al.  A branch-and-price approach for operational aircraft maintenance routing , 2006, Eur. J. Oper. Res..

[63]  Ivan E. Sutherland,et al.  Sketchpad: a man-machine graphical communication system , 1899, AFIPS '63 (Spring).

[64]  Éva Tardos,et al.  A Strongly Polynomial Algorithm to Solve Combinatorial Linear Programs , 1986, Oper. Res..

[65]  Martin W. P. Savelsbergh,et al.  Branch-and-Price: Column Generation for Solving Huge Integer Programs , 1998, Oper. Res..

[66]  Shangyao Yan,et al.  A passenger demand model for airline flight scheduling and fleet routing , 2002, Comput. Oper. Res..

[67]  Jean-François Cordeau,et al.  Benders Decomposition for Simultaneous Aircraft Routing and Crew Scheduling , 2000, Transp. Sci..

[68]  Ellis L. Johnson,et al.  Solving for an optimal airline yield management policy via statistical learning , 2003 .

[69]  Yangjun Chen,et al.  Arc Consistency Revisited , 1999, Inf. Process. Lett..

[70]  Cynthia Barnhart,et al.  Improving Crew Scheduling by Incorporating Key Maintenance Routing Decisions , 2003 .

[71]  Marco A. Boschetti,et al.  A Set Partitioning Approach to the Crew Scheduling Problem , 1999, Oper. Res..

[72]  Arthur Warburton,et al.  Approximation of Pareto Optima in Multiple-Objective, Shortest-Path Problems , 1987, Oper. Res..

[73]  Michel Gendreau,et al.  Interior point stabilization for column generation , 2007, Oper. Res. Lett..

[74]  Stephen A. Cook,et al.  The complexity of theorem-proving procedures , 1971, STOC.

[75]  Ahmed F. Abdelghany,et al.  A Proactive Crew Recovery Decision Support Tool for Commercial Airlines During Irregular Operations , 2004, Ann. Oper. Res..

[76]  George L. Nemhauser,et al.  Some properties of the fleet assignment problem , 1994, Oper. Res. Lett..

[77]  Jens Kjerrstrom,et al.  The resource constrained shortest path problem , 2001 .

[78]  M Barbara,et al.  Forming Bus Driver Schedules using Constraint Programming , 1999 .

[79]  Jacques Desrosiers,et al.  Fleet assignment and routing with schedule synchronization constraints , 1994, Eur. J. Oper. Res..

[80]  Baruch Awerbuch,et al.  Improved approximation algorithms for the multi-commodity flow problem and local competitive routing in dynamic networks , 1994, STOC '94.

[81]  András Farkas,et al.  The influence of network effects and yield management on airline fleet assignment decisions , 1996 .

[82]  Richard D. Wollmer,et al.  Multicommodity networks with resource constraints: The generalized multicommodity flow problem , 1971, Networks.

[83]  Claude P. Medard,et al.  Airline crew scheduling from planning to operations , 2007, Eur. J. Oper. Res..

[84]  Thorsten Jan Winterer,et al.  Requested resource reallocation with retiming : an algorithm for finding non-dominated solutions with minimal changes , 2004 .

[85]  Jean-François Cordeau,et al.  A computational study of Benders decomposition for the integrated aircraft routing and crew scheduling problem , 2003, Comput. Oper. Res..

[86]  Jean-Charles Régin,et al.  Generalized Arc Consistency for Global Cardinality Constraint , 1996, AAAI/IAAI, Vol. 1.

[87]  John W. Mamer,et al.  Solving Multicommodity Flow Problems with a Primal Embedded Network Simplex Algorithm , 1997, INFORMS J. Comput..

[88]  G. Dantzig,et al.  THE DECOMPOSITION ALGORITHM FOR LINEAR PROGRAMS , 1961 .

[89]  Ahmad I. Jarrah,et al.  A Decision Support Framework for Airline Flight Cancellations and Delays , 1993, Transp. Sci..

[90]  Greger Ottosson,et al.  Integration of Constraint Programming and Integer Programming for Combinatorial Optimization , 2000 .

[91]  Jacques Desrosiers,et al.  Periodic airline fleet assignment with time windows, spacing constraints, and time dependent revenues , 2003, Eur. J. Oper. Res..

[92]  Louis-Martin Rousseau Stabilization Issues for Constraint Programming Based Column Generation , 2004, CPAIOR.

[93]  Robert M. Haralick,et al.  Increasing Tree Search Efficiency for Constraint Satisfaction Problems , 1979, Artif. Intell..

[94]  Goos Kant,et al.  On an integer multicommodity flow problem from the airplane industry , 1997 .

[95]  Ali Haghani,et al.  An optimization model for aircraft maintenance scheduling and re-assignment , 2003 .

[96]  Lester Randolph Ford,et al.  A Suggested Computation for Maximal Multi-Commodity Network Flows , 2004, Manag. Sci..

[97]  Ram Gopalan,et al.  The Aircraft Maintenance Routing Problem , 1998, Oper. Res..

[98]  Jacques Desrosiers,et al.  Crew Scheduling in Air Transportation , 1998 .

[99]  Allan Larsen,et al.  Airline Disruption Management - Perspectives, Experiences and Outlook , 2007 .

[100]  M. Padberg,et al.  Solving airline crew scheduling problems by branch-and-cut , 1993 .

[101]  Evelina Lamma,et al.  Integrating constraint logic programming and operations research techniques for the Crew Rostering Problem , 1998 .

[102]  Abraham P. Punnen,et al.  Very Large-Scale Neighborhood Search , 2000, Handbook of Approximation Algorithms and Metaheuristics.

[103]  Peter J. Stuckey,et al.  Programming with Constraints: An Introduction , 1998 .

[104]  Emden R. Gansner,et al.  An open graph visualization system and its applications to software engineering , 2000 .

[105]  Jean-Charles Régin,et al.  A Global Constraint Combining a Sum Constraint and Difference Constraints , 2000, CP.

[106]  Jean-Charles Régin,et al.  A Filtering Algorithm for Constraints of Difference in CSPs , 1994, AAAI.

[107]  Jacques Desrosiers,et al.  Weekly airline fleet assignment with homogeneity , 2002 .

[108]  Mark Wallace,et al.  A new approach to integrating mixed integer programming and constraint logicprogramming , 1999, Ann. Oper. Res..

[109]  George L. Nemhauser,et al.  A Robust Fleet-Assignment Model with Hub Isolation and Short Cycles , 2004, Transp. Sci..

[110]  Niklas Kohl,et al.  An Optimization Algorithm for the Vehicle Routing Problem with Time Windows Based on Lagrangian Relaxation , 1997, Oper. Res..

[111]  Jian Liu,et al.  A neighborhood search algorithm for the combined through and fleet assignment model with time windows , 2004, Networks.

[112]  Fred W. Glover,et al.  Future paths for integer programming and links to artificial intelligence , 1986, Comput. Oper. Res..

[113]  George L. Nemhauser,et al.  Flight String Models for Aircraft Fleeting and Routing , 1998, Transp. Sci..

[114]  Dušan Teodorović,et al.  Optimal dispatching strategy on an airline network after a schedule perturbation , 1984 .

[115]  Krzysztof R. Apt,et al.  Principles of constraint programming , 2003 .

[116]  Kalyan T. Talluri,et al.  The Four-Day Aircraft Maintenance Routing Problem , 1998, Transp. Sci..

[117]  Tomas Gustafsson A Heuristic approach to column generation for Airline crew scheduling , 1999 .

[118]  Luis Esteves dos,et al.  The labelling algorithm for themultiobjective shortest path problemErnesto de Quer os , 2007 .

[119]  G. Dantzig,et al.  Programming of Interdependent Activities: I General Discussion , 1949 .

[120]  Jacques Desrosiers,et al.  Selected Topics in Column Generation , 2002, Oper. Res..

[121]  Ram Gopalan,et al.  Mathematical models in airline schedule planning: A survey , 1998, Ann. Oper. Res..

[122]  Lennart Augustsson Partial evaluation in aircraft crew planning , 1997 .

[123]  Stefan E. Karisch,et al.  Airline Crew Rostering: Problem Types, Modeling, and Optimization , 2004, Ann. Oper. Res..

[124]  Cynthia Barnhart,et al.  Airline Fleet Assignment with Time Windows , 2000, Transp. Sci..

[125]  Alan K. Mackworth Consistency in Networks of Relations , 1977, Artif. Intell..

[126]  Stefan E. Karisch,et al.  Constraint Programming Based Column Generation for Crew Assignment , 2002, J. Heuristics.

[127]  R. Borndoerfer,et al.  Scheduling duties by adaptive column generation , 2001 .

[128]  George L. Nemhauser,et al.  The aircraft rotation problem , 1997, Ann. Oper. Res..

[129]  David L. Waltz,et al.  Generating Semantic Descriptions From Drawings of Scenes With Shadows , 1972 .

[130]  A. Land,et al.  An Automatic Method for Solving Discrete Programming Problems , 1960, 50 Years of Integer Programming.

[131]  Mokhtar S. Bazaraa,et al.  Nonlinear Programming: Theory and Algorithms , 1993 .

[132]  Pierre Hansen,et al.  Stabilized column generation , 1998, Discret. Math..

[133]  G. Dantzig Programming of Interdependent Activities: II Mathematical Model , 1949 .

[134]  Srini Ramaswamy,et al.  Solving Large Airline Crew Scheduling Problems: Random Pairing Generation and Strong Branching , 2001, Comput. Optim. Appl..

[135]  Michel Gendreau,et al.  An Exact Constraint Logic Programming Algorithm for the Traveling Salesman Problem with Time Windows , 1998, Transp. Sci..

[136]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[137]  Ram Narasimhan,et al.  An Efficient Airline Re-Fleeting Model for the Incremental Modification of Planned Fleet Assignments , 2000, Transp. Sci..

[138]  Russell A. Rushmeier,et al.  Advances in the Optimization of Airline Fleet Assignment , 1997, Transp. Sci..

[139]  J. Kennington,et al.  An Effective Subgradient Procedure for Minimal Cost Multicommodity Flow Problems , 1977 .

[140]  Vasek Chvátal,et al.  A Greedy Heuristic for the Set-Covering Problem , 1979, Math. Oper. Res..

[141]  Jephthah A. Abara,et al.  Applying Integer Linear Programming to the Fleet Assignment Problem , 1989 .

[142]  John J. H. Forrest,et al.  Column generation and the airline crew pairing problem. , 1998 .

[143]  Jennifer C. Strehler,et al.  An optimization model for assigning through flights , 2000 .

[144]  Yishai A. Feldman,et al.  Portability by automatic translation: a large-scale case study , 1999 .

[145]  Christian Bessiere,et al.  Arc-Consistency and Arc-Consistency Again , 1993, Artif. Intell..

[146]  Antonio Frangioni,et al.  Computational Experience with a Parallel Implementation of an Interior-Point Algorithm for Multicommodity Network Flows , 1999, System Modelling and Optimization.

[147]  Rina Dechter,et al.  Looking at Full Looking Ahead , 1996, CP.

[148]  Roy E. Marsten,et al.  COLDSTART -- FLEET ASSIGNMENT AT DELTA AIR LINES. , 1994 .

[149]  Vipul Jain,et al.  Algorithms for Hybrid MILP/CP Models for a Class of Optimization Problems , 2001, INFORMS J. Comput..

[150]  Jonathan F. Bard,et al.  Improving through-flight schedules , 1987 .

[151]  Ladislav Lettovsky Airline operations recovery :an optimization approach , 1997 .

[152]  Nader M Kabbani,et al.  AIRCRAFT ROUTING AT AMERICAN AIRLINES. , 1992 .

[153]  J. Davenport Editor , 1960 .

[154]  Christian Bessiere,et al.  Using Constraint Metaknowledge to Reduce Arc Consistency Computation , 1999, Artif. Intell..

[155]  David M. Ryan,et al.  Flight Attendant Rostering for Short-Haul Airline Operations , 1997, Oper. Res..

[156]  Robert E. Bixby,et al.  MIP: Theory and Practice - Closing the Gap , 1999, System Modelling and Optimization.

[157]  Yuval Rabani,et al.  Linear Programming , 2007, Handbook of Approximation Algorithms and Metaheuristics.

[158]  Srini Ramaswamy,et al.  Airline Crew Scheduling with Time Windows and Plane-Count Constraints , 2002, Transp. Sci..

[159]  Ravindra K. Ahuja,et al.  Very large-scale neighborhood search , 2000 .

[160]  Panagiotis Stamatopoulos,et al.  Crew Assignment by Constraint Logic Programming , 2002 .

[161]  Mattias Grönkvist Tail assignment : a combined column generation and constraint programming approach , 2003 .

[162]  Di Yuan,et al.  A Multicommodity Network-Flow Problem with Side Constraints on Paths Solved by Column Generation , 2003, INFORMS J. Comput..

[163]  Adib Kanafani,et al.  The value of runway time slots for airlines , 1997, Eur. J. Oper. Res..

[164]  Richard D. McBride,et al.  Progress Made in Solving the Multicommodity Flow Problem , 1998, SIAM J. Optim..

[165]  R. E. Marsten,et al.  The Boxstep Method for Large-Scale Optimization , 2011, Oper. Res..

[166]  Dag Wedelin,et al.  An algorithm for large scale 0–1 integer programming with application to airline crew scheduling , 1995, Ann. Oper. Res..

[167]  Jacques Desrosiers,et al.  A Column Generation Approach for Large-Scale Aircrew Rostering Problems , 1999, Oper. Res..

[168]  Jay M. Rosenberger Topics in airline operations , 2001 .

[169]  Constantin Halatsis,et al.  Crew Scheduling Based on Constraint Programming: The PARACHUTE Experience , 1996 .

[170]  Éva Tardos,et al.  A strongly polynomial minimum cost circulation algorithm , 1985, Comb..

[171]  Jonathan F. Bard,et al.  Flight Scheduling and Maintenance Base Planning , 1989 .

[172]  Jacques Desrosiers,et al.  Accelerating Strategies in Column Generation Methods for Vehicle Routing and Crew Scheduling Problems , 2002 .

[173]  A. Ali,et al.  Technical Note - Computational Comparison among Three Multicommodity Network Flow Algorithms , 1980, Oper. Res..

[174]  Dushyant Sharma,et al.  A Very Large-Scale Neighborhood Search Algorithm for the Combined Through and Fleet Assignment Model , 2002 .

[175]  C. Barnhart Dual‐ascent methods for large‐scale multicommodity flow problems , 1993 .

[176]  Rina Dechter,et al.  Constraint Processing , 1995, Lecture Notes in Computer Science.

[177]  Cynthia Barnhart,et al.  Using Branch-and-Price-and-Cut to Solve Origin-Destination Integer Multicommodity Flow Problems , 2000, Oper. Res..

[178]  George B. Dantzig,et al.  Decomposition Principle for Linear Programs , 1960 .

[179]  Vipin Kumar,et al.  Algorithms for Constraint-Satisfaction Problems: A Survey , 1992, AI Mag..

[180]  George L. Nemhauser,et al.  Maintenance and Crew Considerations in Fleet Assignment , 1996, Transp. Sci..

[181]  Alexander Bockmayr,et al.  Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming , 1998, INFORMS J. Comput..

[182]  Di Yuan,et al.  An Augmented Lagrangian Algorithm for Large Scale Multicommodity Routing , 2004, Comput. Optim. Appl..

[183]  Jacques Desrosiers,et al.  The Preferential Bidding System at Air Canada , 1997, Transp. Sci..

[184]  Nicolas Beldiceanu,et al.  Introducing global constraints in CHIP , 1994 .