A Direct Encoding for NNC Polyhedra.

Anna Becchi Enea Zaffanella

Published in: CAV (1) (2018)

Keyphrases

extreme points
linear program
convex hull
decision trees
neural network
three dimensional
digital libraries
variable length
encoding scheme