( en | de | ru )

 

Disambiguation of "Medina, Marco A. López"

Author of the publication

copydeleteadd this publication to your clipboard
A Method for Counting Models on Cubic Boolean Formulas.

, , , and . MCPR, volume 13902 of Lecture Notes in Computer Science, page 69-78. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Marco Lopez

Marco Antonio López Ordoñez

Margarita López López

Claudia Carolina López Yomayuza

Charakterisierung der Tollwutvakzinen Rabipur und Rabivac und der enthaltenen Virusstämme FluryLEP und PM 1503. Uni Gießen, (2009)

Marco Lopez-Ilasaca

 

Other publications of authors with the same name

Un algoritmo para calcular #2SAT., , , and . Res. Comput. Sci., (2015)A Method for Counting Models on Cubic Boolean Formulas., , , and . MCPR, volume 13902 of Lecture Notes in Computer Science, page 69-78. Springer, (2023)Computing the Clique-Width on Series-Parallel Graphs., , , and . Computación y Sistemas, (2022)A Fast and Efficient Method for #2SAT via Graph Transformations., , , and . MICAI (1), volume 10632 of Lecture Notes in Computer Science, page 95-106. Springer, (2017)Model counting for #2SAT problem in outerplanar graphs., , , and . LANMR, volume 2264 of CEUR Workshop Proceedings, page 76-87. CEUR-WS.org, (2018)A Linear Time Algorithm for Computing #2SAT for Outerplanar 2-CNF Formulas., , , and . MCPR, volume 10880 of Lecture Notes in Computer Science, page 72-81. Springer, (2018)A method for counting models on grid Boolean formulas., , , and . J. Intell. Fuzzy Syst., 42 (5): 4719-4726 (2022)A Linear Time Algorithm for Counting #2SAT on Series-Parallel Formulas., , , and . MICAI (1), volume 12468 of Lecture Notes in Computer Science, page 437-447. Springer, (2020)