Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints.

Christoph Scholl, Stefan Disch, Florian Pigorsch, Stefan Kupferschmid

Browse the full TACAS paper archive.