Piotr J. Wojciechowski, K. Subramani, Matthew D. Williamson. Optimal Length Tree-Like Refutations of Linear Feasibility in UTVPI Constraints. In Jianer Chen, Pinyan Lu, editors, Frontiers in Algorithmics - 12th International Workshop, FAW 2018, Guangzhou, China, May 8-10, 2018, Proceedings. Volume 10823 of Lecture Notes in Computer Science, pages 300-314, Springer, 2018. [doi]
Abstract is missing.