%0 Conference Paper %1 conf/tacas/SchollDPK09 %A Scholl, Christoph %A Disch, Stefan %A Pigorsch, Florian %A Kupferschmid, Stefan %B TACAS %D 2009 %E Kowalewski, Stefan %E Philippou, Anna %I Springer %K dblp %P 383-397 %T Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2009.html#SchollDPK09 %V 5505 %@ 978-3-642-00767-5

@inproceedings{conf/tacas/SchollDPK09, added-at = {2018-06-26T00:00:00.000+0200}, author = {Scholl, Christoph and Disch, Stefan and Pigorsch, Florian and Kupferschmid, Stefan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24235a1a3f7ab95a59118aa79de2d036a/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2009}, editor = {Kowalewski, Stefan and Philippou, Anna}, ee = {https://doi.org/10.1007/978-3-642-00768-2_32}, interhash = {e7c03e66110a6734d854290e0fd37041}, intrahash = {4235a1a3f7ab95a59118aa79de2d036a}, isbn = {978-3-642-00767-5}, keywords = {dblp}, pages = {383-397}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:30:26.000+0200}, title = {Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2009.html#SchollDPK09}, volume = 5505, year = 2009 }