An Iterative Algorithm of Computing the Transitive Closure of a Union of Parameterized Affine Integer Tuple Relations

Wlodzimierz Bielecki, Tomasz Klimek, Marek Palkowski, Anna Beletska. An Iterative Algorithm of Computing the Transitive Closure of a Union of Parameterized Affine Integer Tuple Relations. In Weili Wu, Ovidiu Daescu, editors, Combinatorial Optimization and Applications - 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I. Volume 6508 of Lecture Notes in Computer Science, pages 104-113, Springer, 2010. [doi]

Authors

Wlodzimierz Bielecki

This author has not been identified. Look up 'Wlodzimierz Bielecki' in Google

Tomasz Klimek

This author has not been identified. Look up 'Tomasz Klimek' in Google

Marek Palkowski

This author has not been identified. Look up 'Marek Palkowski' in Google

Anna Beletska

This author has not been identified. Look up 'Anna Beletska' in Google