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 2012, 22, 69-74.