A certifying algorithm for lattice point feasibility in a system of UTVPI constraints

K. Subramani, Piotr J. Wojciechowski. A certifying algorithm for lattice point feasibility in a system of UTVPI constraints. J. Comb. Optim., 35(2):389-408, 2018. [doi]

Abstract

Abstract is missing.