DE ITA LUNA, G.; GÓMEZ, H.; MERINO, B. Algorithm to Count the Number of Signed Paths in an Electrical Network via Boolean Formulas. Acta Universitaria, [S. l.], v. 22, p. 69–74, 2012. DOI: 10.15174/au.2012.344. Disponível em: https://www.actauniversitaria.ugto.mx/index.php/acta/article/view/344. Acesso em: 1 oct. 2022.