Un algoritmo para calcular #2SAT. - Marco A. López Medina; José Raymundo Marcial-Romero; Guillermo De Ita Luna; José Antonio Hernández Servín (Res. Comput. Sci., 2015)

A Fast and Efficient Method for #2SAT via Graph Transformations. - Marco A. López Medina; José Raymundo Marcial-Romero; Guillermo De Ita; Rosa Maria Valdovinos (MICAI (1), 2017)

Model counting for #2SAT problem in outerplanar graphs. - Marco A. López Medina; José Raymundo Marcial-Romero; José Antonio Hernández Servín; Guillermo De Ita (LANMR, 2018)

A Linear Time Algorithm for Computing #2SAT for Outerplanar 2-CNF Formulas. - Marco A. López Medina; José Raymundo Marcial-Romero; Guillermo De Ita Luna; Yolanda Moyao (MCPR, 2018)

A Linear Time Algorithm for Counting #2SAT on Series-Parallel Formulas. - Marco A. López Medina; José Raymundo Marcial-Romero; Guillermo De Ita Luna; José Antonio Hernández Servín (MICAI (1), 2020)

Computing the Clique-Width on Series-Parallel Graphs. - Marco A. López Medina; J. Leonardo González-Ruiz; José Raymundo Marcial-Romero; José Antonio Hernández Servín (Computación y Sistemas, 2022)

A method for counting models on grid Boolean formulas. - Marco A. López Medina; José Raymundo Marcial-Romero; Guillermo De Ita Luna; José Antonio Hernández Servín (J. Intell. Fuzzy Syst., 2022)

A Method for Counting Models on Cubic Boolean Formulas. - Marco A. López Medina; José Raymundo Marcial-Romero; José Antonio Hernández Servín; Sandra Morales-Hernández (MCPR, 2023)