Mixed-Integer Linear Programming for Autonomous Spacecraft Applications | AMiner