Branch‐and‐cut algorithms for the traveling salesman problem with job times | Synapse