On the Simultaneous Minimum Spanning Trees Problem. - Matej Konecný; Stanislav Kucera; Jana Novotná 001; Jakub Pekárek; Martin Smolík; Jakub Tetek; Martin Töpfer 002 (CALDAM, 2018)