Mencía, R.; Mencía, C.; Marques-Silva, J. Efficient Reasoning about Infeasible One Machine Sequencing. ICAPS 2023, 33, 268-276.