An efficient exact algorithm for general single-machine scheduling with machine idle time | IEEE Conference Publication | IEEE Xplore