Costa, J., Sousa, G., & Campêlo, M. 2022 jul 31. Formulações para o Problema da k-Floresta Geradora Mínima. Anais do Encontro de Teoria da Computação (ETC). [Online] :