PTIME Computation of Transitive Closures of Octagonal Relations.

Filip Konecn

Browse the full TACAS paper archive.