Dabrowski, Konrad K., Peter Jonsson, Sebastian Ordyniak, and George Osipov. 2022. “Resolving Inconsistencies in Simple Temporal Problems: A Parameterized Approach”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (4):3724-32. https://doi.org/10.1609/aaai.v36i4.20286.