Efficient Computation of Many-to-Many Shortest Paths
Complex Job-Shop Scheduling with Batching in Semiconductor Manufacturing