A high-level design exploration of heterogeneous adders based on Mixed Integer Linear Programming | Publicación