Guillermo De Ita

24 papers Journal 12Unranked 12
YearRankTypeTitle / Venue / Authors
2025 — conf
Extremal Topologies for the Merrifield-Simmon Index on Dendrimers in Drug Delivery.
MCPR
Guillermo De Ita, Michelle Guerra-Marín, Juan Pintor, Cybele Neves-Moutinho
2023 J jnl
Extreme Topologies on Bipolygonal Graphs and Dinamic Trees.
Int. J. Comb. Optim. Probl. Informatics
Guillermo De Ita, Pedro Bello López, Meliza Contreras González
2022 J jnl
Model Checking Algorithm for Repairing Inference between Conjunctive Forms.
Computación y Sistemas
Guillermo De Ita, Pedro Bello
2021 — conf
Approximate the Clique-Width of a Graph Using Shortest Paths.
MICAI (2)
J. Leonardo González-Ruiz, José Raymundo Marcial-Romero, José Antonio Hernández Servín, Guillermo De Ita
2021 — conf
Extremal Topologies for the Merrifield-Simmons Index on Dynamic Trees.
MCPR
Pedro Bello, Miguel Rodríguez, Guillermo De Ita
2021 — conf
Inferential Rules for Identifying Answers in TOEFL Texts.
MCPR
Meliza Contreras González, Mireya Tovar Vidal, Guillermo De Ita
2020 J jnl
A bottom-up algorithm for solving ♯2SAT.
Log. J. IGPL
Guillermo De Ita, José Raymundo Marcial-Romero, José Antonio Hernández Servín
2020 — conf
Basic Pattern Graphs for the Efficient Computation of Its Number of Independent Sets.
MCPR
Guillermo De Ita, Miguel Rodríguez, Pedro Bello, Meliza Contreras
2019 — conf
Inference Algorithm with Falsifying Patterns for Belief Revision.
MCPR
Pedro Bello, Guillermo De Ita
2018 — conf
A novel heuristic for the coloring of planar graphs.
LANMR
Guillermo De Ita, Cristina López-Ramírez, Adriana C. Luna
2018 — conf
Model counting for #2SAT problem in outerplanar graphs.
LANMR
Marco A. López Medina, José Raymundo Marcial-Romero, José Antonio Hernández Servín, Guillermo De Ita
2018 — conf
The computation of #2SAT by a fixed-parameter tractable algorithm.
LANMR
Guillermo De Ita, Pedro Bello, Miguel Rodríguez
2017 — conf
A Fast and Efficient Method for #2SAT via Graph Transformations.
MICAI (1)
Marco A. López Medina, José Raymundo Marcial-Romero, Guillermo De Ita, Rosa Maria Valdovinos
2016 J jnl
Applying an Incremental Satisfiability Algorithm to Automatic Test Pattern Generation.
Res. Comput. Sci.
Guillermo De Ita, Meliza Contreras, Pedro Bello
2011 J jnl
Increasing the Reliability of a Network via the Number of Edge Covers.
Res. Comput. Sci.
Guillermo De Ita, Meliza Contreras, Pedro Bello, Yolanda Moyao
2010 J jnl
Building a Minimal Spanning Tree for the #2SAT Problem.
Res. Comput. Sci.
Guillermo De Ita, Meliza Contreras, Pedro Bello
2009 J jnl
Counting Edge Covers Sets for Estimating the Relevance of Communication Lines.
Res. Comput. Sci.
Guillermo De Ita, Meliza Contreras, Pedro Bello
2008 J jnl
Applying Fibonacci Recurrences for Counting Combinatorial Objects in Graphs.
Res. Comput. Sci.
Guillermo De Ita, Meliza Contreras González, Pedro Bello López
2008 — conf
Computing #2-SAT of Grids, Grid-Cylinders and Grid-Tori Boolean Formulas.
RCRA
Carlos Guillén, Aurelio López-López, Guillermo De Ita
2008 J jnl
Counting the Number of Three Colourings of a Graph.
Res. Comput. Sci.
Adrián Pérez, Arturo Velasco, Guillermo De Ita
2008 J jnl
Selecting a Representative using Resources, Supports and Oppositions in Agents's Competition.
Res. Comput. Sci.
Guillermo De Ita, Mireya Tovar, Pedro Bello, Meliza Contreras
2005 J jnl
A New Efficient Approximation Algorithm for Chromatic Number.
Res. Comput. Sci.
Eugenia Erica Vera Cervantes, Guillermo De Ita, Meliza Contreras
2005 J jnl
Efficient Revision of Propositional Knowledge Bases.
Res. Comput. Sci.
Aurelio López-López, Carlos Guillén, Guillermo De Ita
1998 — conf
Heuristics for Improving the Non-oblivious Local Search for MaxSAT.
IBERAMIA
Guillermo De Ita, David Eduardo Pinto, M. Nuño