Efficient Algorithms for Multi-Threaded Interval Scheduling with Machine Availabilities | AMiner