Health & Environmental Research Online (HERO)


Print Feedback Export to File
6902427 
Journal Article 
Air Traffic Controller Shift Scheduling by Reduction to CSP, SAT and SAT-Related Problems 
Stojadinovic, M; , 
2014 
SPRINGER INTERNATIONAL PUBLISHING AG 
CHAM 
886-902 
WOS:000345088200063 
In this paper we present our experience in solving Air Traffic Controller Shift Scheduling Problem. We give a formal definition of this optimization problem and introduce three encodings. The encodings make possible to formulate a very wide set of different scheduling requirements. The problem is solved by using SAT, MaxSAT, PB, SMT, CSP and ILP solvers. In combination with these solvers, three different optimization techniques are presented, a basic technique and its two modifications. The modifications use local search to modify some parts of the initial solution. Results indicate that SAT-related approaches outperform other solving methods used and that one of the introduced techniques which uses local search can significantly outperform the basic technique. We have successfully used these approaches to make shift schedules for one air traffic control center. 
OSullivan, B; 
978-3-319-10427-0 
20th International Conference on the Principles and Practice of Constraint Programming (CP) 
Lyon, FRANCE