![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Guillermo De Ita Luna
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j27]Guillermo De Ita Luna, Mireya Tovar Vidal, María Beatríz Bernábe Loranca:
A Novel Method for Counting Independent Sets in a Grid Graph. Int. J. Comb. Optim. Probl. Informatics 14(1): 11-18 (2023) - [j26]Guillermo De Ita, Pedro Bello López, Meliza Contreras González:
Extreme Topologies on Bipolygonal Graphs and Dinamic Trees. Int. J. Comb. Optim. Probl. Informatics 14(1): 19-26 (2023) - [c55]Reynold Osuna-González, Guillermo De Ita Luna:
Building a Network Knowledge Base Based on a Belief Revision Operator. ICCSA (Workshops 1) 2023: 3-14 - 2022
- [j25]Guillermo De Ita, Pedro Bello:
Model Checking Algorithm for Repairing Inference between Conjunctive Forms. Computación y Sistemas 26(1) (2022) - [j24]Marco A. López Medina
, José Raymundo Marcial-Romero
, Guillermo De Ita Luna
, José Antonio Hernández Servín:
A method for counting models on grid Boolean formulas. J. Intell. Fuzzy Syst. 42(5): 4719-4726 (2022) - [c54]Erick Barrios González
, Mireya Tovar Vidal
, Guillermo De Ita Luna
, José Alejandro Reyes-Ortíz:
Extraction of Entities in Health Domain Documents Using Recurrent Neural Networks. ICPRAI (2) 2022: 395-406 - [c53]Rogelio González Velázquez, María Beatríz Bernábe Loranca, Erika Granillo-Martínez, Guillermo De Ita Luna:
Territorial Design and Vehicle Routing Problem Applied to the Population Census as a Case Study. ISDA (1) 2022: 404-415 - 2021
- [j23]Meliza Contreras González
, Mireya Tovar Vidal
, Guillermo De Ita Luna
:
Caracterización de complejidad semántica en pasajes tipo TOEFL. Rev. Colomb. de Computación 22(2): 72-79 (2021) - [c52]Meliza Contreras González
, Mireya Tovar Vidal
, Guillermo De Ita
:
Inferential Rules for Identifying Answers in TOEFL Texts. MCPR 2021: 13-22 - [c51]Pedro Bello
, Miguel Rodríguez, Guillermo De Ita
:
Extremal Topologies for the Merrifield-Simmons Index on Dynamic Trees. MCPR 2021: 68-77 - [c50]J. Leonardo González-Ruiz
, José Raymundo Marcial-Romero
, José Antonio Hernández Servín
, Guillermo De Ita
:
Approximate the Clique-Width of a Graph Using Shortest Paths. MICAI (2) 2021: 337-347 - 2020
- [j22]Meliza Contreras González, Mireya Tovar Vidal, Guillermo De Ita Luna
, Aurelio López-López:
Knowledge Representation in TOEFL Expository Texts. Computación y Sistemas 24(2) (2020) - [j21]Guillermo De Ita
, José Raymundo Marcial-Romero
, José Antonio Hernández Servín:
A bottom-up algorithm for solving ♯2SAT. Log. J. IGPL 28(6): 1130-1140 (2020) - [j20]Yadira Laureano de Jésus, Guillermo De Ita Luna, Mireya Tovar Vidal:
Detección automática de zonas de alto riesgo de eventos delictivos a través de noticias periodísticas. Res. Comput. Sci. 149(8): 213-225 (2020) - [j19]Pedro Bello López, Guillermo De Ita Luna, Meliza Contreras González, Miguel Rodríguez Hernández:
Algoritmo para el conteo de modelos en FNC. Res. Comput. Sci. 149(11): 147-158 (2020) - [c49]Guillermo De Ita
, Miguel Rodríguez
, Pedro Bello
, Meliza Contreras
:
Basic Pattern Graphs for the Efficient Computation of Its Number of Independent Sets. MCPR 2020: 57-66 - [c48]Marco A. López Medina
, José Raymundo Marcial-Romero
, Guillermo De Ita Luna, José Antonio Hernández Servín:
A Linear Time Algorithm for Counting #2SAT on Series-Parallel Formulas. MICAI (1) 2020: 437-447
2010 – 2019
- 2019
- [c47]Cristina López-Ramírez, Jorge Eduardo Gutiérrez-Gómez
, Guillermo De Ita Luna
:
Building a Maximal Independent Set for the Vertex-coloring Problem on Planar Graphs. LANMR (Selected Papers) 2019: 75-89 - [c46]Guillermo De Ita Luna
, Cristina López-Ramírez, Ana E. De Ita-Varela, Jorge Eduardo Gutiérrez-Gómez
:
A Heuristic for the Coloring of Planar Graphs. LANMR (Selected Papers) 2019: 91-105 - [c45]Meliza Contreras González, Mireya Tovar Vidal, Guillermo De Ita Luna:
Cognitive relations for argumentative texts. LANMR 2019: 97-105 - [c44]Guillermo De Ita Luna, Cristina López-Ramírez:
Recognizing 3-colorable Basic Patterns on Planar Graphs. MCPR 2019: 336-346 - [c43]Pedro Bello
, Guillermo De Ita
:
Inference Algorithm with Falsifying Patterns for Belief Revision. MCPR 2019: 347-356 - 2018
- [j18]Guillermo De Ita Luna, Cristina López-Ramírez, Meliza Contreras González:
Modelling 3-Coloring of Outerplanar Graphs via Incremental Satisfiability. Electron. Notes Discret. Math. 69: 101-108 (2018) - [j17]Ismael R. Grajeda-Marín, Héctor A. Montes Venegas
, José Raymundo Marcial-Romero
, José Antonio Hernández Servín, Vianney Muñoz-Jiménez, Guillermo De Ita Luna:
A New Optimization Strategy for Solving the Fall-Off Boundary Value Problem in Pixel-Value Differencing Steganography. Int. J. Pattern Recognit. Artif. Intell. 32(1): 1860010:1-1860010:17 (2018) - [j16]Guillermo De Ita Luna
, José Raymundo Marcial-Romero
, Pedro Bello, Meliza Contreras:
Belief revision between conjunctive normal forms. J. Intell. Fuzzy Syst. 34(5): 3155-3164 (2018) - [c42]Guillermo De Ita, Cristina López-Ramírez, Adriana C. Luna:
A novel heuristic for the coloring of planar graphs. LANMR 2018: 63-75 - [c41]Marco A. López Medina, José Raymundo Marcial-Romero, José Antonio Hernández Servín, Guillermo De Ita:
Model counting for #2SAT problem in outerplanar graphs. LANMR 2018: 76-87 - [c40]Meliza Contreras González, Mireya Tovar Vidal, Guillermo De Ita Luna:
Knowledge representation of passages type TOEFL. LANMR 2018: 88-100 - [c39]Guillermo De Ita, Pedro Bello, Miguel Rodríguez:
The computation of #2SAT by a fixed-parameter tractable algorithm. LANMR 2018: 101-113 - [c38]Marco A. López Medina
, José Raymundo Marcial-Romero
, Guillermo De Ita Luna
, Yolanda Moyao:
A Linear Time Algorithm for Computing #2SAT for Outerplanar 2-CNF Formulas. MCPR 2018: 72-81 - [c37]Cristina López-Ramírez, Guillermo De Ita Luna
, Alfredo Neri:
Modelling 3-Coloring of Polygonal Trees via Incremental Satisfiability. MCPR 2018: 93-102 - 2017
- [j15]Guillermo De Ita Luna
, Fernando Zacarías Flores, Alma Delia García:
Model-based Algorithm for Belief Revisions between Normal Conjunctive Forms. Computación y Sistemas 21(3) (2017) - [j14]José Antonio Hernández Servín, José Raymundo Marcial-Romero
, Guillermo De Ita Luna
:
Low-exponential Algorithm for Counting the Number of Edge Cover on Simple Graphs. Computación y Sistemas 21(3) (2017) - [c36]Guillermo De Ita Luna
, José Raymundo Marcial-Romero
, José Antonio Hernández Servín, Rosa Maria Valdovinos
, Marcelo Romero:
Extending Extremal Polygonal Arrays for the Merrifield-Simmons Index. MCPR 2017: 22-31 - [c35]Marco A. López Medina
, José Raymundo Marcial-Romero
, Guillermo De Ita, Rosa Maria Valdovinos
:
A Fast and Efficient Method for #2SAT via Graph Transformations. MICAI (1) 2017: 95-106 - [i1]M. A. López, José Raymundo Marcial-Romero, Guillermo De Ita Luna, Héctor A. Montes Venegas, Roberto Alejo:
A Linear Time Algorithm for Solving #2SAT on Cactus Formulas. CoRR abs/1702.08581 (2017) - 2016
- [j13]Alma Delia García, Guillermo De Ita Luna, Fernando Zacarías Flores:
Model-based Algorithm for Belief Revisions between Normal Conjunctive Forms. Res. Comput. Sci. 112: 29-39 (2016) - [j12]Guillermo De Ita, Meliza Contreras, Pedro Bello:
Applying an Incremental Satisfiability Algorithm to Automatic Test Pattern Generation. Res. Comput. Sci. 123: 39-49 (2016) - [c34]Angélica Guzmán Ponce
, José Raymundo Marcial-Romero
, Guillermo De Ita Luna
, José Antonio Hernández Servín:
Approximate the chromatic number of a graph using maximal independent sets. CONIELECOMP 2016: 19-24 - [c33]Guillermo De Ita Luna, José Raymundo Marcial-Romero, José Antonio Hernández Servín:
The incremental satisfiability problem for a two conjunctive normal form. LANMR 2016: 25-32 - [c32]Ismael R. Grajeda-Marín, Héctor A. Montes Venegas
, José Raymundo Marcial-Romero
, José Antonio Hernández Servín, Guillermo De Ita Luna
:
An Optimization Approach to the TWPVD Method for Digital Image Steganography. MCPR 2016: 125-134 - [c31]Guillermo De Ita Luna
, Pedro Bello, Meliza Contreras, Juan C. Catana-Salazar:
Efficient Counting of the Number of Independent Sets on Polygonal Trees. MCPR 2016: 167-176 - [c30]José Raymundo Marcial-Romero
, Guillermo De Ita Luna
, Aurelio López-López, Rosa Maria Valdovinos
:
A Polynomial Time Algorithm for Counting the Number of Independent Sets of Cactus Graphs. MICAI (Special Session) 2016: 106-110 - [c29]J. Leonardo González-Ruiz
, José Raymundo Marcial-Romero
, José Antonio Hernández Servín, Guillermo De Ita Luna
:
Computing the Clique-Width of Polygonal Tree Graphs. MICAI (2) 2016: 449-459 - [c28]Guillermo De Ita Luna
, José Raymundo Marcial-Romero
, José Antonio Hernández Servín:
The Incremental Satisfiability Problem for a Two Conjunctive Normal Form. LANMR (Selected Papers) 2016: 31-45 - 2015
- [j11]Guillermo De Ita Luna
, Fernando Zacarías Flores, Luis Carlos Altamirano Robles:
Finding Pure Nash Equilibrium for the Resource Constrained Project Scheduling Problem. Computación y Sistemas 19(1) (2015) - [j10]Marco A. López Medina, José Raymundo Marcial-Romero, Guillermo De Ita Luna, José Antonio Hernández Servín:
Un algoritmo para calcular #2SAT. Res. Comput. Sci. 94: 23-32 (2015) - [c27]Angélica Guzmán Ponce
, José Raymundo Marcial-Romero
, José Antonio Hernández Servín, Guillermo De Ita Luna
:
An algorithm to approximate the chromatic number of graphs. CONIELECOMP 2015: 110-115 - [c26]Fernando Zacarías Flores, Rosalba Cuapa, Guillermo De Ita Luna
, Daniel Torres:
Smart Tourism in 1-Click. FNC/MobiSPC 2015: 447-452 - [c25]José Raymundo Marcial-Romero
, Guillermo De Ita Luna
, José Antonio Hernández Servín, Rosa Maria Valdovinos
:
A Parametric Polynomial Deterministic Algorithm for #2SAT. MICAI (1) 2015: 202-213 - 2014
- [j9]Guillermo De Ita Luna, José Raymundo Marcial-Romero
, Yolanda Moyao:
An Enumerative Algorithm for #2SAT. Electron. Notes Discret. Math. 46: 81-88 (2014) - [j8]Guillermo De Ita Luna, José Raymundo Marcial-Romero
, Yolanda Moyao:
An Approximate Algorithm for the Chromatic Number of Graphs. Electron. Notes Discret. Math. 46: 89-96 (2014) - [j7]Guillermo De Ita Luna, Aurelio López-López, Josúe Pérez:
Predicting Preferences of Voters from Opinion Polls by Machine Learning and Game Theory. Res. Comput. Sci. 77: 121-131 (2014) - [c24]Guillermo De Ita Luna, José Raymundo Marcial-Romero, Pilar Pozos Parra:
Counting Falsifying Assignments of Conjunctive Forms Using Binary Patterns. LANMR 2014: 1-10 - [c23]José Antonio Hernández Servín, José Raymundo Marcial-Romero, Guillermo De Ita Luna:
Low - exponential Algorithm for Counting the Number of Edge Cover on Simple Graphs. LANMR 2014: 1-8 - [c22]Guillermo De Ita Luna
, José Raymundo Marcial-Romero
, Maria del Pilar Pozos Parra, José Antonio Hernández Servín:
Using Binary Patterns for Counting Falsifying Assignments of Conjunctive Forms. LANMR (Selected Papers) 2014: 17-30 - 2013
- [j6]Guillermo De Ita Luna
, Javier A. Castillo:
Recognizing 3-colorings cycle-patterns on graphs. Pattern Recognit. Lett. 34(4): 433-438 (2013) - [c21]Guillermo De Ita Luna, Josúe Pérez, Juan Carlos Pérez:
A Logical Database for Geriatric Purposes. AMW 2013 - [c20]Octavio Loyola-González
, Milton García-Borroto
, Miguel Angel Medina-Pérez
, José Francisco Martínez Trinidad
, Jesús Ariel Carrasco-Ochoa
, Guillermo De Ita Luna
:
An Empirical Study of Oversampling and Undersampling Methods for LCMine an Emerging Pattern Based Classifier. MCPR 2013: 264-273 - [c19]Guillermo De Ita Luna
, Pedro Bello, Meliza Contreras:
Recognizing Structural Patterns on Graphs for the Efficient Computation of #2SAT. MCPR 2013: 274-283 - 2012
- [c18]Guillermo De Ita Luna, Fernando Zacarías Flores, José Raymundo Marcial-Romero:
An Approximate Algorithm for the Chromatic Number of a Graph. CTW 2012: 104-107 - [c17]Guillermo De Ita Luna, Yolanda Moyao, Juan Carlos Pérez, Josúe Pérez:
Job Shop Scheduling via Disjunctive Boolean Formulas. LA-NMR 2012: 41-50 - [c16]José Antonio Hernández Servín, José Raymundo Marcial-Romero, Guillermo De Ita Luna:
Edge covering of acyclic graphs. LA-NMR 2012: 63-74 - [c15]Guillermo De Ita Luna
, José Raymundo Marcial-Romero
:
Computing #2SAT and #2UNSAT by Binary Patterns. MCPR 2012: 273-282 - [c14]Guillermo De Ita Luna
, Luis Carlos Altamirano, Aurelio López-López, Yolanda Moyao:
A Method Based on Congestion Game Theory for Determining Electoral Tendencies. SocInfo 2012: 162-173 - 2011
- [j5]Guillermo De Ita Luna
, José Raymundo Marcial-Romero
, José Antonio Hernández Servín:
A Threshold for a Polynomial Solution of #2SAT. Fundam. Informaticae 113(1): 63-77 (2011) - [c13]Guillermo De Ita Luna, Meliza Contreras González, Isaac Chantes Quechol:
A Multiagent System for Modeling Democratic Elections. FLAIRS 2011 - [c12]Guillermo De Ita Luna, Fernando Zacarías Flores, Alejandro Rangel-Huerta:
A Note for Parametric Complexity of #2SAT. LA-NMR 2011: 95-104 - [c11]Guillermo De Ita Luna
, César Bautista
, Luis Carlos Altamirano:
Solving 3-Colouring via 2SAT. MCPR 2011: 50-59 - 2010
- [j4]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): 15-27 (2010) - [j3]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. Electron. Notes Discret. Math. 36: 247-254 (2010) - [c10]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
2000 – 2009
- 2009
- [c9]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: 118-129 - 2008
- [c8]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 - [c7]Guillermo De Ita Luna, Mireya Tovar, Meliza Contreras González:
Agents's competition for selecting a representative. LA-NMR 2008 - [c6]Carlos Guillén, Aurelio López-López, Guillermo De Ita:
Computing #2-SAT of Grids, Grid-Cylinders and Grid-Tori Boolean Formulas. RCRA 2008 - 2007
- [j2]Guillermo De Ita Luna, Pedro Bello López, Meliza Contreras González:
New Polynomial Classes for #2SAT Established Via Graph-Topological Structure. Eng. Lett. 15(2): 250-258 (2007) - [j1]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): 259-265 (2007) - [c5]Guillermo De Ita Luna
, Aurelio López-López:
A Worst-Case Time Upper Bound for Counting the Number of Independent Sets. CAAN 2007: 85-98 - [c4]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 - 2006
- [c3]Guillermo De Ita Luna, Meliza Contreras González:
A Polynomial Graphical Reduction to Speed Up the Counting of Models for Boolean Formulas. LoLaCOM 2006 - [e1]Mauricio Osorio, Claudia Zepeda, Pilar Pozos Parra, Guillermo De Ita Luna:
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í, Mexico, September 18, 2006. CEUR Workshop Proceedings 217, CEUR-WS.org 2006 [contents] - 2004
- [c2]Guillermo De Ita Luna:
Polynomial Classes of Boolean Formulas for Computing the Degree of Belief. IBERAMIA 2004: 430-440
1990 – 1999
- 1998
- [c1]Guillermo De Ita, David Eduardo Pinto, M. Nuño:
Heuristics for Improving the Non-oblivious Local Search for MaxSAT. IBERAMIA 1998: 219-229
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint