Model Counting for 2SAT Based on Graphs by Matrix Operators. - Carlos Guillén; Aurelio López-López; Guillermo De Ita Luna (Eng. Lett., 2007)

Efficient computation of the degree of belief in a propositional theory. - Carlos Guillén; Guillermo De Ita Luna; Aurelio López-López (LA-NMR, 2008)

Computing #2-SAT of Grids, Grid-Cylinders and Grid-Tori Boolean Formulas. - Carlos Guillén; Aurelio López-López; Guillermo De Ita (RCRA, 2008)

Efficient Computation of the Degree of Belief for a Subclass of Two Conjuctive Forms. - Guillermo De Ita Luna; Carlos Guillén; Ali Khanafer 001 (LA-NMR, 2009)

A Novel Method for Counting Models on Grid Boolean Formulas. - Carlos Guillén; Guillermo De Ita Luna; Aurelio López-López (MCPR, 2010)

Efficient Computation of the Degree of Belief for a Subclass of Two Conjunctive Forms. - Guillermo De Ita Luna; Carlos Guillén (Inteligencia Artif., 2010)

Grafos de análisis sintáctico con gramáticas HRGs. - Yolanda Moyao; Darnes Vilariño; Carlos Guillén; José de Jesús Lavalle-Martínez (Res. Comput. Sci., 2019)