![]() | ![]() |
| 2010 | ||
|---|---|---|
| 3 | 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 | |
| 2 | 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 | ||
| 1 | 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) | |
| 1 | Aurelio López-López | [1] [3] |
| 2 | Guillermo De Ita Luna | [1] [2] [3] |
Data released under the ODC-BY 1.0 license — See also our legal information page