Algorithm to Count the Number of Signed Paths in an Electrical Network via Boolean Formulas. Acta Universitaria [Internet]. 2012 Mar. 1 [cited 2026 Apr. 29];22:69-74. Available from: https://www.actauniversitaria.ugto.mx/index.php/acta/article/view/344