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

From MaRDI portal
Publication:3617770

DOI10.1007/978-3-642-00768-2_32zbMath1234.68266OpenAlexW2147222082MaRDI QIDQ3617770

Christoph Scholl, Florian Pigorsch, Stefan Disch, Stefan Kupferschmid

Publication date: 31 March 2009

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00768-2_32



Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (3)


Uses Software


Cites Work


This page was built for publication: Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints