An exact algorithm for constructing minimum Euclidean skeletons of polygons. - Andrés-Thió, Nicolau; Brazil, Marcus; Ras, Charl; Thomas, Doreen; Volz, Marcus (Journal of Global Optimization, 2022)