“Algorithm to Count the Number of Signed Paths in an Electrical Network via Boolean Formulas”. Acta Universitaria 22 (March 1, 2012): 69–74. Accessed April 27, 2026. https://www.actauniversitaria.ugto.mx/index.php/acta/article/view/344.