Carlos Guillén

According to our database1, Carlos Guillén authored at least 7 papers between 2007 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Grafos de análisis sintáctico con gramáticas HRGs.
Res. Comput. Sci., 2019

2010
Efficient Computation of the Degree of Belief for a Subclass of Two Conjunctive Forms.
Inteligencia Artif., 2010

A Novel Method for Counting Models on Grid Boolean Formulas.
Proceedings of the Advances in Pattern Recognition, 2010

2009
Efficient Computation of the Degree of Belief for a Subclass of Two Conjuctive Forms.
Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , 2009

2008
Computing #2-SAT of Grids, Grid-Cylinders and Grid-Tori Boolean Formulas.
Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2008

Efficient computation of the degree of belief in a propositional theory.
Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computación de la Benemérita Universidad Autónoma de Puebla, 2008

2007
Model Counting for 2SAT Based on Graphs by Matrix Operators.
Eng. Lett., 2007


  Loading...