Computing the Transitive Closure of a Union of Affine Integer Tuple Relations.

Anna Beletska, Denis Barthou, Wlodzimierz Bielecki, Albert Cohen

Browse the full COCOA paper archive.