Pruning search spaces by dominance rules: a case study in the job shop scheduling | Publicación