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]. 1 de marzo de 2012 [citado 25 de abril de 2024];22:69-74. Disponible en: https://www.actauniversitaria.ugto.mx/index.php/acta/article/view/344