An efficient formulation for minimizing the number of late jobs in single-machine scheduling | IEEE Conference Publication | IEEE Xplore