Exact Methods for the Traveling Salesman Problem with Drone | Synapse