Piotr Wojciechowski 0002, K. Subramani 0001. Finding Short Tree-Like Unit Refutations in UTVPI Constraint Systems. In Giovanni Casini, Besik Dundua, Temur Kutsia, editors, Logics in Artificial Intelligence - 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part I. Volume 16093 of Lecture Notes in Computer Science, pages 154-167, Springer, 2025. [doi]
Abstract is missing.