Return to Article Details Hybrid of Hill Climbing and SAT Solving for Air Traffic Controller Shift Scheduling Download Download PDF