Efficient Reasoning about Infeasible One Machine Sequencing | Publicación