Marco A. López Medina

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 8

Top Topics

Propositional Satisfiability

Top Venues

Computación y Sistemas

Res. Comput. Sci.

Publications

Marco A. López Medina, José Raymundo Marcial-Romero, José Antonio Hernández Servín, Sandra Morales-Hernández
A Method for Counting Models on Cubic Boolean Formulas. MCPR (2023)
Marco A. López Medina, José Raymundo Marcial-Romero, Guillermo De Ita Luna, José A. Hernández
A method for counting models on grid Boolean formulas. J. Intell. Fuzzy Syst. 42 (5) (2022)
Marco A. López Medina, J. Leonardo González-Ruiz, José Raymundo Marcial-Romero, José A. Hernández
Computing the Clique-Width on Series-Parallel Graphs. Computación y Sistemas 26 (2) (2022)
Marco A. López Medina, José Raymundo Marcial-Romero, Guillermo De Ita Luna, José A. Hernández
A Linear Time Algorithm for Counting #2SAT on Series-Parallel Formulas. MICAI (1) (2020)
Marco A. López Medina, José Raymundo Marcial-Romero, José A. Hernández, Guillermo De Ita
Model counting for #2SAT problem in outerplanar graphs. LANMR (2018)
Marco A. López Medina, José Raymundo Marcial-Romero, Guillermo De Ita Luna, Yolanda Moyao
A Linear Time Algorithm for Computing #2SAT for Outerplanar 2-CNF Formulas. MCPR (2018)
Marco A. López Medina, José Raymundo Marcial-Romero, Guillermo De Ita, Rosa Maria Valdovinos
A Fast and Efficient Method for #2SAT via Graph Transformations. MICAI (1) (2017)
Marco A. López Medina, José Raymundo Marcial-Romero, Guillermo De Ita Luna, José Antonio Hernández Servín
Un algoritmo para calcular #2SAT. Res. Comput. Sci. 94 (2015)