De Ita Luna, G., Gómez, H., & Merino, B. (2012). Algorithm to Count the Number of Signed Paths in an Electrical Network via Boolean Formulas. Acta Universitaria, 22, 69–74. https://doi.org/10.15174/au.2012.344