Komei Fukuda, Bernd Gärtner, May Szedlák. Combinatorial Redundancy Detection. In Lars Arge, János Pach, editors, 31st International Symposium on Computational Geometry, SoCG 2015, June 22-25, 2015, Eindhoven, The Netherlands. Volume 34 of LIPIcs, pages 315-328, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]
Abstract is missing.