An Empirical Analysis of Feasibility Checking Algorithms for UTVPI Constraints. - K. Subramani 001; Piotr Wojciechowski 002; Zachary Santer; Matthew Anderson (AAIM, 2018)