K. K. Dabrowski, P. Jonsson, S. Ordyniak, and G. Osipov, “Resolving Inconsistencies in Simple Temporal Problems: A Parameterized Approach”, AAAI, vol. 36, no. 4, pp. 3724-3732, Jun. 2022.