K. Subramani, Piotr J. Wojciechowski, Zachary Santer, Matthew Anderson. An Empirical Analysis of Feasibility Checking Algorithms for UTVPI Constraints. In ShaoJie Tang, Ding-Zhu Du, David L. Woodruff, Sergiy Butenko, editors, Algorithmic Aspects in Information and Management - 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3-4, 2018, Proceedings. Volume 11343 of Lecture Notes in Computer Science, pages 111-123, Springer, 2018. [doi]
Abstract is missing.