This paper focuses on representation using functional decomposition and decision diagrams, as a steppingstone to find a compact representation of rotation symmetric functions.

We study Voronoi diagrams for distance functions that add together two convex functions, each taking as its argument the difference between Cartesian coordinates of two planar points. When the ...