An Automatic Planning and Scheduling System for the Mars Express Uplink Scheduling Problem | IEEE Journals & Magazine | IEEE Xplore