A Direct Encoding for NNC Polyhedra
Authors: Anna Becchi and Enea Zaffanella
Paper Information
| Title: | A Direct Encoding for NNC Polyhedra |
| Authors: | Anna Becchi and Enea Zaffanella |
| Proceedings: | CAV All Papers |
| Editors: | Georg Weissenbacher, Hana Chockler and Igor Konnov |
| Keywords: | convex polyhedra, Double Description method, strict inequalities, conversion algorithm |
| Abstract: | ABSTRACT. We present an alternative Double Description representation for the domain of NNC (not necessarily closed) polyhedra, together with the corresponding Chernikova-like conversion procedure. The representation uses no slack variable at all and provides a solution to a few technical issues caused by the encoding of an NNC polyhedron as a closed polyhedron in a higher dimension space. A preliminary experimental evaluation shows that the new conversion algorithm is able to achieve significant efficiency improvements. |
| Pages: | 18 |
| Talk: | Jul 14 15:15 (Session 98A: Polyhedra) |
| Paper: | ![]() |
