Efficient counting of models for boolean formulas represented by embedded cycles. - Guillermo De Ita Luna; Pedro Bello López; Meliza Contreras González (LA-NMR, 2007)

New Polynomial Classes for #2SAT Established Via Graph-Topological Structure. - Guillermo De Ita Luna; Pedro Bello López; Meliza Contreras González (Eng. Lett., 2007)

An Introduction to Belief Revision and Knowledge Representation with 2CNF. - Meliza Contreras; Miguel Rodríguez 001; Pedro Bello 001; Bárbara M. González (LA-NMR, 2011)

Generation of instances for the revision of beliefs. - Rodolfo Aguirre; Pedro Bello 001; Ana Patricia Cervantes; Meliza Contreras (Intelligent Environments (Workshops), 2012)

Detection of inconsistencies in knowledge bases for emission of foreign judgments. - Pedro Bello López; José Andrés Vázquez Flores; Meliza Contreras González; Marco Rodríguez Herníndez (LA-NMR, 2012)

Recognizing Structural Patterns on Graphs for the Efficient Computation of #2SAT. - Guillermo De Ita Luna; Pedro Bello 001; Meliza Contreras (MCPR, 2013)

Efficient Counting of the Number of Independent Sets on Polygonal Trees. - Guillermo De Ita Luna; Pedro Bello 001; Meliza Contreras; Juan C. Catana-Salazar (MCPR, 2016)

Visualización de elementos de Cienciometría con grafos. - Pedro Bello 001; Meliza Contreras; Diana A. González (Res. Comput. Sci., 2016)

Applying an Incremental Satisfiability Algorithm to Automatic Test Pattern Generation. - Guillermo De Ita; Meliza Contreras; Pedro Bello 001 (Res. Comput. Sci., 2016)

The computation of #2SAT by a fixed-parameter tractable algorithm. - Guillermo De Ita; Pedro Bello 001; Miguel Rodríguez 001 (LANMR, 2018)

Belief revision between conjunctive normal forms. - Guillermo De Ita Luna; José Raymundo Marcial-Romero; Pedro Bello 001; Meliza Contreras (J. Intell. Fuzzy Syst., 2018)

Inference Algorithm with Falsifying Patterns for Belief Revision. - Pedro Bello 001; Guillermo De Ita (MCPR, 2019)

Basic Pattern Graphs for the Efficient Computation of Its Number of Independent Sets. - Guillermo De Ita; Miguel Rodríguez 001; Pedro Bello 001; Meliza Contreras (MCPR, 2020)

Algoritmo para el conteo de modelos en FNC. - Pedro Bello López; Guillermo De Ita Luna; Meliza Contreras González; Miguel Rodríguez Hernández (Res. Comput. Sci., 2020)

Extremal Topologies for the Merrifield-Simmons Index on Dynamic Trees. - Pedro Bello 001; Miguel Rodríguez 001; Guillermo De Ita (MCPR, 2021)

Diseño de un algoritmo para la revisión de creencias entre formas conjuntivas - Pedro Bello López (2021)

Model Checking Algorithm for Repairing Inference between Conjunctive Forms. - Guillermo De Ita; Pedro Bello 001 (Computación y Sistemas, 2022)

Exploring BERT-Based Pretrained Models for Polarity Analysis of Tweets in Spanish. - Erick Barrios González; Mireya Tovar Vidal; José Alejandro Reyes-Ortíz; Fernando Zacarías Flores; Pedro Bello López (Int. J. Comb. Optim. Probl. Informatics, 2023)

Extreme Topologies on Bipolygonal Graphs and Dinamic Trees. - Guillermo De Ita; Pedro Bello López; Meliza Contreras González (Int. J. Comb. Optim. Probl. Informatics, 2023)

Branching and Pruning Algorithm for Computing the Merrifield-Simmons Index on Polygonal Grids. - Herlinda González-Vázquez; Cristina López-Ramírez; Pedro Bello López; Guillermo De Ita Luna (Computación y Sistemas (CyS), 2024)

Extremal graphs for the number of independent sets on polygonal chains joined by cutting edges. - Guillermo De Ita Luna; Pedro Bello López; Meliza Contreras González; José Raymundo Marcial-Romero (Int. J. Comb. Optim. Probl. Informatics, 2024)