Pedro Bello

16 papers B 1Journal 8Unranked 7
YearRankTypeTitle / Venue / Authors
2022 J jnl
Model Checking Algorithm for Repairing Inference between Conjunctive Forms.
Computación y Sistemas
Guillermo De Ita, Pedro Bello
2021 — conf
Extremal Topologies for the Merrifield-Simmons Index on Dynamic Trees.
MCPR
Pedro Bello, Miguel Rodríguez, Guillermo De Ita
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 J jnl
Belief revision between conjunctive normal forms.
J. Intell. Fuzzy Syst.
Guillermo De Ita Luna, José Raymundo Marcial-Romero, Pedro Bello, Meliza Contreras
2018 — conf
The computation of #2SAT by a fixed-parameter tractable algorithm.
LANMR
Guillermo De Ita, Pedro Bello, Miguel Rodríguez
2016 J jnl
Applying an Incremental Satisfiability Algorithm to Automatic Test Pattern Generation.
Res. Comput. Sci.
Guillermo De Ita, Meliza Contreras, Pedro Bello
2016 — conf
Efficient Counting of the Number of Independent Sets on Polygonal Trees.
MCPR
Guillermo De Ita Luna, Pedro Bello, Meliza Contreras, Juan C. Catana-Salazar
2016 J jnl
Visualización de elementos de Cienciometría con grafos.
Res. Comput. Sci.
Pedro Bello, Meliza Contreras, Diana A. González
2013 — conf
Recognizing Structural Patterns on Graphs for the Efficient Computation of #2SAT.
MCPR
Guillermo De Ita Luna, Pedro Bello, Meliza Contreras
2012 B conf
Generation of instances for the revision of beliefs.
Intelligent Environments (Workshops)
Rodolfo Aguirre, Pedro Bello, Ana Patricia Cervantes, Meliza Contreras
2011 — conf
An Introduction to Belief Revision and Knowledge Representation with 2CNF.
LA-NMR
Meliza Contreras, Miguel Rodríguez, Pedro Bello, Bárbara M. González
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
Selecting a Representative using Resources, Supports and Oppositions in Agents's Competition.
Res. Comput. Sci.
Guillermo De Ita, Mireya Tovar, Pedro Bello, Meliza Contreras