Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella

Deciding whether the union of two convex polyhedra is itself a convex polyhedron is a basic problem in polyhedral computations; having important applications in the field of constr…