 | 2007 |
6 |  | 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 |
5 |  | 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 |
4 |  | 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) |
| 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 |