2007 | ||
---|---|---|
2 | EE | 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 |
2006 | ||
1 | EE | Guillermo De Ita, Meliza Contreras González: A Polynomial Graphical Reduction to Speed Up the Counting of Models for Boolean Formulas. LoLaCOM 2006 |
1 | Guillermo De Ita | [1] |
2 | Pedro Bello López | [2] |
3 | Guillermo De Ita Luna | [2] |