José Costa, Gabriel Sousa, and Manoel Campêlo. 2022. Formulações para o Problema da k-Floresta Geradora Mínima. In Anais do VII Encontro de Teoria da Computação, julho 31, 2022, Niterói, Brasil. SBC, Porto Alegre, Brasil, 101-104. DOI: https://doi.org/10.5753/etc.2022.223148.