TY - CHAP U1 - Konferenzveröffentlichung A1 - Gurjar, Rohit A1 - Thierauf, Thomas A1 - Vishnoi, Nisheeth T1 - Isolating a Vertex via Lattices BT - Polytopes with Totally Unimodular Face T2 - Proceedings of the 45th International Colloquim on Automata, Languages and Programming Y1 - 2018 SP - 14 S1 - 14 ER -