K. Subramani, Piotr J. Wojciechowski. Parameterized and Exact-Exponential Algorithms for the Read-Once Integer Refutation Problem in UTVPI Constraints. In Weili Wu 0001, Jianxiong Guo, editors, Combinatorial Optimization and Applications - 17th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II. Volume 14462 of Lecture Notes in Computer Science, pages 377-389, Springer, 2023. [doi]
Abstract is missing.