|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Guillermo De Ita Luna, José Raymundo Marcial Romero, José Antonio Hernández |
A Threshold for a Polynomial Solution of #2SAT.  |
Fundam. Inform.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillermo De Ita Luna, César Bautista, Luis Carlos Altamirano |
Solving 3-Colouring via 2SAT. |
MCPR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillermo De Ita Luna, Meliza Contreras González, Isaac Chantes Quechol |
A Multiagent System for Modeling Democratic Elections. |
FLAIRS Conference |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP BibTeX RDF |
|
| 1 | Guillermo De Ita Luna, José Raymundo Marcial-Romero, Héctor A. Montes Venegas |
Estimating the relevance on Communication Lines Based on the Number of Edge Covers. |
Electronic Notes in Discrete Mathematics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Guillén, Guillermo De Ita Luna, Aurelio López-López |
A Novel Method for Counting Models on Grid Boolean Formulas. |
MCPR |
2010 |
DBLP DOI BibTeX RDF |
|
| 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 |
2007 |
DBLP BibTeX RDF |
|
| 1 | Guillermo De Ita Luna, Pedro Bello López, Meliza Contreras González |
New Polynomial Classes for #2SAT Established Via Graph-Topological Structure. |
Engineering Letters |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Guillermo De Ita Luna, Aurelio López-López |
A Worst-Case Time Upper Bound for Counting the Number of Independent Sets. |
CAAN |
2007 |
DBLP DOI BibTeX RDF |
Counting the Number of Independent Sets, Exact Counting, Graph Theory |
| 1 | Mauricio Osorio, Claudia Zepeda, Pilar Pozos Parra, Guillermo De Ita Luna (eds.) |
Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the LA-NMR06 Workshop, Facultad de Ingeniería de la Universidad Auónoma de San Luis Potí, San Luis Potosí, México, September 18, 2006 |
LA-NMR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Guillermo De Ita Luna, Meliza Contreras González |
A Polynomial Graphical Reduction to Speed Up the Counting of Models for Boolean Formulas. |
LoLaCOM |
2006 |
DBLP BibTeX RDF |
|
| 1 | Guillermo De Ita Luna |
Polynomial Classes of Boolean Formulas for Computing the Degree of Belief. |
IBERAMIA |
2004 |
DBLP DOI BibTeX RDF |
#SAT Problem, Updating Beliefs, Approximate Reasoning, Degree of Belief |
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")