Marco A. López Medina

According to our database, Marco A. López Medina authored at least 8 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

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

Proceedings of the Pattern Recognition - 15th Mexican Conference, 2023

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

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

2020

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

Proceedings of the Advances in Soft Computing, 2020

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

Proceedings of the Pattern Recognition - 10th Mexican Conference, 2018

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

Proceedings of the Eleventh Latin American Workshop on Logic/Languages, 2018

2017

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

Proceedings of the Advances in Soft Computing, 2017

2015

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