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 / Becchi, Anna; Zaffanella, Enea. - ELETTRONICO. - 10981:(2018), pp. 230-248. ((Intervento presentato al convegno 30th International Conference on Computer Aided Verification, CAV 2018 Held as Part of the Federated Logic Conference, FloC 2018 tenutosi a Oxford (UK) nel 2018 [10.1007/978-3-319-96145-3_13].

A direct encoding for NNC polyhedra

BECCHI, ANNA
;
Zaffanella, Enea
2018

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.
9783319961446
A direct encoding for NNC polyhedra / Becchi, Anna; Zaffanella, Enea. - ELETTRONICO. - 10981:(2018), pp. 230-248. ((Intervento presentato al convegno 30th International Conference on Computer Aided Verification, CAV 2018 Held as Part of the Federated Logic Conference, FloC 2018 tenutosi a Oxford (UK) nel 2018 [10.1007/978-3-319-96145-3_13].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11381/2849746
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 3
social impact