Route-reduction-based dynamic programming for large-scale satellite range scheduling problem. Issue 11 (2nd November 2019)