R. Mencía, C. Mencía, and J. Marques-Silva, “Efficient Reasoning about Infeasible One Machine Sequencing”, ICAPS, vol. 33, no. 1, pp. 268–276, Jul. 2023.