Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces.

Bernard Boigelot, Isabelle Mainz

Browse the full ATVA paper archive.