An Optimal Algorithm for Computing the Integer Closure of UTVPI Constraints.

K. Subramani, Piotr Wojciechowski

Browse the full WALCOM paper archive.