López Medina, M., & J. L. González Ruiz.
" Un algoritmo lineal para el conteo de #2SAT en fórmulas tipo árbol con subfórmulas serial paralelo." <em>Informaticae Abstracta</em> [En línea], 1.1 (2023): 4-20. Web.  6 nov. 2026