Efficient Computation of Many-to-Many Shortest Paths

Complex Job-Shop Scheduling with Batching in Semiconductor Manufacturing