Home |
Personal Info |
Research |
Papers |
Teaching |
About |
A Direct Encoding for NNC Polyhedra (CAV'18)
[Page last updated on "maggio 07, 2018, 09:50:48".]Anna Becchi and Enea Zaffanella
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.
Available: PDF.
enea.zaffanella@unipr.it
| Home | Personal Info | Research | Papers | Teaching | About