| ||||
| ||||
![]() Title:A Direct Encoding for NNC Polyhedra Conference:CAV2018 Tags:conversion algorithm, convex polyhedra, Double Description method and strict inequalities 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. A Direct Encoding for NNC Polyhedra ![]() A Direct Encoding for NNC Polyhedra | ||||
Copyright © 2002 – 2025 EasyChair |