In this article, we present a hybrid methodology for the exact solution of large scale real world crew scheduling problems. Our approach integrates mathematical programming and constraint satisfaction techniques, taking advantage of their particular abilities in modeling and solving specific parts of the problem. An Integer Programming framework was responsible for guiding the overall search process and for obtaining lower bounds on the value of the optimal solution. Complex constraints were easily expressed, in a declarative way, using a Constraint Logic Programming language. Moreover, with an effective constraint-based model, the huge space of feasible solutions could be implicitly considered in a fairly efficient way. Our code was tested on real problem instances arising from the daily operation of an ordinary urban transit company that serves a major metropolitan area with an excess of two million inhabitants. Using a typical desktop PC, we were able find, in an acceptable running time, an optimal solution to instances with more than 1.5 billion entries.
[1]
Mark Wallace,et al.
Constraint logic programming for scheduling and planning
,
1995
.
[2]
Carmen Gervet,et al.
Large combinatorial optimization problem methodology for hybrid models and solutions
,
1998,
JFPLC.
[3]
Martin W. P. Savelsbergh,et al.
Branch-and-Price: Column Generation for Solving Huge Integer Programs
,
1998,
Oper. Res..
[4]
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..
[5]
Martin Desrochers,et al.
A Column Generation Approach to the Urban Transit Crew Scheduling Problem
,
1987,
Transp. Sci..
[6]
B. E. Eckbo,et al.
Appendix
,
1826,
Epilepsy Research.
[7]
Matthew L. Ginsberg,et al.
Dynamic Backtracking
,
1993,
J. Artif. Intell. Res..
[8]
Michel Van Caneghem,et al.
Solving Crew Scheduling Problems bu Constraint Programming
,
1995,
CP.