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 [Internet]. 2012 Mar. 1 [cited 2026 Jun. 29];22:69-74. Available from: https://www.actauniversitaria.ugto.mx/index.php/acta/article/view/344