A Branch and Bound Algorithm for Agile Earth Observation Satellite Scheduling. (7th September 2017)