A flexible job shop scheduling approach with operators for coal export terminals – A mature approach. (March 2020)