Algorithm to Count the Number of Signed Paths in an Electrical Network via Boolean Formulas. (2012). Acta Universitaria, 22, 69-74. https://doi.org/10.15174/au.2012.344