LÓPEZ MEDINA, M. A.; 						GONZÁLEZ RUIZ, J. L..
 Un algoritmo lineal para el conteo de #2SAT en fórmulas tipo árbol con subfórmulas serial paralelo.
<strong>Informaticae Abstracta</strong>, [S.l.], v. 1, n. 1, p. 4-20, sep. 2024.
ISSN 3061-8355.
Disponible en: &lt;<a href="https://informaticae.uaemex.mx/article/view/24592" target="_new">https://informaticae.uaemex.mx/article/view/24592</a>&gt;. Fecha de acceso: 06 nov. 2026
doi: <a href="https://doi.org/10.36677/ia.v1n1.24592">https://doi.org/10.36677/ia.v1n1.24592</a>.