A Direct Encoding for NNC Polyhedra. - Becchi, Anna; Zaffanella, Enea (2018)