Zobrazeno 1 - 8
of 8
pro vyhledávání: '"López Ramírez, Cristina"'
Autor:
De Ita Luna, Guillermo, López-Ramírez, Cristina, De Ita-Varela, Ana E., Gutiérrez-Gómez, Jorge E.
Publikováno v:
In Electronic Notes in Theoretical Computer Science 1 December 2020 354:91-105
Publikováno v:
In Electronic Notes in Theoretical Computer Science 1 December 2020 354:75-89
Autor:
Cárdenas, María Fernanda1 mfcarden@unal.edu.co, López-Ramírez, Cristina2 kristina.lopezr@gmail.com, Mejía, Juan Diego3 jumejiah@sena.edu.co, Escobar, Jhon Fredy3,4 jfescob1@gmail.com
Publikováno v:
Dyna. Jan-Mar2019, Vol. 86 Issue 208, p213-220. 8p.
Autor:
López Ramírez, Cristina
Publikováno v:
Benemérita Universidad Autónoma de Puebla
BUAP
Repositorio Institucional de Acceso Abierto RIAA-BUAP
BUAP
Repositorio Institucional de Acceso Abierto RIAA-BUAP
"Uno de los problemas fundamentales en el razonamiento automático es el problema de satisfactibilidad proposicional (SAT), el SAT es un problema de la clase de complejidad NP-Completo. Las aplicaciones de SAT rara vez se limitan a resolver sólo una
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::f25b115379034bf2e42b10fdfb94abb8
Publikováno v:
In Electronic Notes in Discrete Mathematics August 2018 69:101-108
Autor:
Solís Montejo, Freddy, López Ramírez, Cristina, Avendaño Montero, Pablo, Correa Hernández, Carlos Alfonso
Publikováno v:
Congreso Internacional de Investigacion Academia Journals; 2016, Vol. 8 Issue 1, p3352-3357, 6p
Autor:
Solís Montejo, Freddy, León, Wendi Matilde Santiago, Ovando Bautista, Oscar, López Ramírez, Cristina
Publikováno v:
Congreso Internacional de Investigacion Academia Journals; 2015, Vol. 7 Issue 1, p2264-2269, 6p