Exact and Heuristic Scheduling Algorithms for Multiple Earth Observation Satellites Under Uncertainties of Clouds | IEEE Journals & Magazine | IEEE Xplore