stochastic scheduling

Operating room scheduling with variable procedure times