Not necessarily closed convex polyhedra and the double description method.

Roberto Bagnara Patricia M. Hill Enea Zaffanella

Published in: Formal Aspects Comput. (2005)

Keyphrases

optimization method
similarity measure
objective function
significant improvement
data sets
convex polyhedra