UAV Task Assignment with Timing Constraints via Mixed-Integer Linear Programming | Synapse