Time-varying Contact Management with Dynamic Programming for LEO Satellite Networks | IEEE Conference Publication | IEEE Xplore