Dabrowski, K. K., Jonsson, P., Ordyniak, S., & Osipov, G. (2022). Resolving Inconsistencies in Simple Temporal Problems: A Parameterized Approach. Proceedings of the AAAI Conference on Artificial Intelligence, 36(4), 3724-3732. https://doi.org/10.1609/aaai.v36i4.20286