A branch-and-cut algorithm for a resource-constrained scheduling problemRenaud Sirdey and Hervé L. M. KerivinRAIRO-Oper. Res., 41 3 (2007) 235-251DOI: https://doi.org/10.1051/ro:2007021