@InProceedings{fukuda_et_al:LIPIcs.SOCG.2015.315,
author = {Fukuda, Komei and G\"{a}rtner, Bernd and Szedl\'{a}k, May},
title = {{Combinatorial Redundancy Detection}},
booktitle = {31st International Symposium on Computational Geometry (SoCG 2015)},
pages = {315--328},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-83-5},
ISSN = {1868-8969},
year = {2015},
volume = {34},
editor = {Arge, Lars and Pach, J\'{a}nos},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SOCG.2015.315},
URN = {urn:nbn:de:0030-drops-51434},
doi = {10.4230/LIPIcs.SOCG.2015.315},
annote = {Keywords: system of linear inequalities, redundancy removal, linear programming, output sensitive algorithm, Clarkson’s method}
}