Decomposition procedures for global scheduling of complex job shops | IEEE Conference Publication | IEEE Xplore