A hybrid constraint propagation mechanism for resource-constrained scheduling | IEEE Conference Publication | IEEE Xplore