 | 2011 |
| 13 |  | Guillermo De Ita Luna,
Meliza Contreras González,
Isaac Chantes Quechol:
A Multiagent System for Modeling Democratic Elections.
FLAIRS Conference 2011 |
| 12 |  | Guillermo De Ita Luna,
César Bautista,
Luis Carlos Altamirano:
Solving 3-Colouring via 2SAT.
MCPR 2011: 50-59 |
| 11 |  | Guillermo De Ita Luna,
José Raymundo Marcial Romero,
José Antonio Hernández:
A Threshold for a Polynomial Solution of #2SAT.
Fundam. Inform. 113(1): 63-77 (2011) |
| 2010 |
| 10 |  | Carlos Guillén,
Guillermo De Ita Luna,
Aurelio López-López:
A Novel Method for Counting Models on Grid Boolean Formulas.
MCPR 2010: 322-331 |
| 9 |  | Guillermo De Ita Luna,
José Raymundo Marcial-Romero,
Héctor A. Montes Venegas:
Estimating the relevance on Communication Lines Based on the Number of Edge Covers.
Electronic Notes in Discrete Mathematics 36: 247-254 (2010) |
| 8 |  | Guillermo De Ita Luna,
Carlos Guillén:
Efficient Computation of the Degree of Belief for a Subclass of Two Conjunctive Forms.
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 14(48): 15-27 (2010) |
| 2007 |
| 7 |  | Guillermo De Ita Luna,
Aurelio López-López:
A Worst-Case Time Upper Bound for Counting the Number of Independent Sets.
CAAN 2007: 85-98 |
| 6 |  | Guillermo De Ita Luna,
Pedro Bello López,
Meliza Contreras González:
Efficient counting of models for boolean formulas represented by embedded cycles.
LA-NMR 2007 |
| 5 |  | Guillermo De Ita Luna,
Pedro Bello López,
Meliza Contreras González:
New Polynomial Classes for #2SAT Established Via Graph-Topological Structure.
Engineering Letters 15(2): 250-258 (2007) |
| 4 |  | Carlos Guillén,
Aurelio López-López,
Guillermo De Ita Luna:
Model Counting for 2SAT Based on Graphs by Matrix Operators.
Engineering Letters 15(2): 259-265 (2007) |
| 2006 |
| 3 |  | Mauricio Osorio,
Claudia Zepeda,
Pilar Pozos Parra,
Guillermo De Ita Luna:
Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the LA-NMR06 Workshop, Facultad de Ingeniería de la Universidad Auónoma de San Luis Potí, San Luis Potosí, México, September 18, 2006
CEUR-WS.org 2006 |
| 2 |  | Guillermo De Ita Luna,
Meliza Contreras González:
A Polynomial Graphical Reduction to Speed Up the Counting of Models for Boolean Formulas.
LoLaCOM 2006 |
| 2004 |
| 1 |  | Guillermo De Ita Luna:
Polynomial Classes of Boolean Formulas for Computing the Degree of Belief.
IBERAMIA 2004: 430-440 |