HYBRID OF HILL CLIMBING AND SAT SOLVING FOR AIR TRAFFIC CONTROLLER SHIFT SCHEDULING Journal title: Journal of Information Technology and Application (JITA) Authors: Stojadinović Mirko Subject(s):