Costa, J., Sousa, G., & CampĂȘlo, M. 2022 Jul 31. Formulations for the Minimum Spanning k-Forest Problem. Proceedings of the Theory of Computation Meeting (ETC). [Online] :