DE ITA LUNA, Guillermo; GÓMEZ, Helena; MERINO, Belem. 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: 5 may. 2026.