| |
| 2009 | ||
|---|---|---|
| 1 | EE | Christoph Scholl, Stefan Disch, Florian Pigorsch, Stefan Kupferschmid: Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints. TACAS 2009: 383-397 |
| 1 | Stefan Disch | [1] |
| 2 | Florian Pigorsch | [1] |
| 3 | Christoph Scholl | [1] |