Dynamic Optimization Strategies for Three-Dimensional Conflict Resolution of Multiple Aircraft | Synapse