Solving the job shop scheduling problem with operators by depth-first heuristic search enhanced with global pruning rules | Publicación