9 citations · 16 across the 4 of their papers we have counts for
1 paper · 1 filter
Filip Konecny
Computing transitive closures of integer relations is the key to finding precise invariants of integer programs. In this paper, we study difference bounds and octagonal relations a…