Carlos Guillén

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 1

Top Topics

Social Networks

Top Venues

Res. Comput. Sci.

Publications

Yolanda Moyao, Darnes Vilariño, Carlos Guillén, José de Jesús Lavalle-Martínez
Grafos de análisis sintáctico con gramáticas HRGs. Res. Comput. Sci. 148 (3) (2019)
Carlos Guillén, Guillermo De Ita Luna, Aurelio López-López
A Novel Method for Counting Models on Grid Boolean Formulas. MCPR (2010)
Guillermo De Ita Luna, Carlos Guillén
Efficient Computation of the Degree of Belief for a Subclass of Two Conjunctive Forms. Inteligencia Artif. 14 (48) (2010)
Guillermo De Ita Luna, Carlos Guillén, Ali Khanafer
Efficient Computation of the Degree of Belief for a Subclass of Two Conjuctive Forms. LA-NMR (2009)
Carlos Guillén, Guillermo De Ita Luna, Aurelio López-López
Efficient computation of the degree of belief in a propositional theory. LA-NMR (2008)
Carlos Guillén, Aurelio López-López, Guillermo De Ita Luna
Model Counting for 2SAT Based on Graphs by Matrix Operators. Eng. Lett. 15 (2) (2007)