Propuestas Algorítmicas para la Resolución de los Problemas de Satisfactibilidad

Por Guillermo de Ita Luna
Publicado no Computación y Sistemas (1999)

Algorithm to Count the Number of Signed Paths in an Electrical Network via Boolean Formulas

Por Belem Merino, Helena Gómez, Guillermo De Ita Luna
Publicado em 2012-03-01

Algorithm to Count the Number of Signed Paths in an Electrical Network via Boolean Formulas.

Por Guillermo De Ita Luna, Helena Gómez, Belem Merino
Publicado no Acta Universitaria (2012)

Polynomial Strategies for the 3-Coloring of a Graph.

Por Guillermo De Ita Luna, Yuridiana Alemán, Nahum Loya
Publicado no Acta Universitaria (2012)

Finding Pure Nash Equilibrium for the Resource-Constrained Project Scheduling Problem

Por Guillermo De Ita Luna, Fernando Zacarias-Flores, L. Carlos Altamirano-Robles
Publicado no Computación y Sistemas (2015)

Algoritmo basado en modelos para la revisión de creencias entre formas normales conjuntivas

Por Guillermo De Ita Luna, Fernando Zacarias Flores, Alma Delia García García
Publicado no Computación y Sistemas (2017)

Low-Exponential Algorithm for Counting the Number of Edge Cover on Simple Graphs

Por José A. Hernández-Servín, J. Raymundo Marcial-Romero, Guillermo De Ita Luna
Publicado no Computación y Sistemas (2017)