Efficient Optimization for Time-Constrained Encounter of Spacecraft with Multirevolution Phasing | Synapse