José Antonio Hernández Servín

According to our database, José Antonio Hernández Servín authored at least 32 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

A Method for Counting Models on Cubic Boolean Formulas.

Marco A. López Medina, José Raymundo Marcial-Romero, José Antonio Hernández Servín, Sandra Morales-Hernández

Proceedings of the Pattern Recognition - 15th Mexican Conference, 2023

2022

A method for counting models on grid Boolean formulas.

Marco A. López Medina, José Raymundo Marcial-Romero, Guillermo De Ita Luna, José Antonio Hernández Servín

J. Intell. Fuzzy Syst., 2022

Computing the Clique-Width on Series-Parallel Graphs.

Marco A. López Medina, J. Leonardo González-Ruiz, José Raymundo Marcial-Romero, José Antonio Hernández Servín

Computación y Sistemas, 2022

2021

Approximate the Clique-Width of a Graph Using Shortest Paths.

J. Leonardo González-Ruiz, José Raymundo Marcial-Romero, José Antonio Hernández Servín, Guillermo De Ita

Proceedings of the Advances in Soft Computing, 2021

2020

A bottom-up algorithm for solving ♯2SAT.

Guillermo De Ita, José Raymundo Marcial-Romero, José Antonio Hernández Servín

Log. J. IGPL, 2020

A Linear Time Algorithm for Counting #2SAT on Series-Parallel Formulas.

Marco A. López Medina, José Raymundo Marcial-Romero, Guillermo De Ita Luna, José Antonio Hernández Servín

Proceedings of the Advances in Soft Computing, 2020

2019

Measurements in quantum programming language QML.

Nely Plata César, José Raymundo Marcial-Romero, José Antonio Hernández Servín

Proceedings of the Twelfth Latin American Workshop on Logic/Languages, 2019

2018

A New Optimization Strategy for Solving the Fall-Off Boundary Value Problem in Pixel-Value Differencing Steganography.

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

Int. J. Pattern Recognit. Artif. Intell., 2018

Model counting for #2SAT problem in outerplanar graphs.

Marco A. López Medina, José Raymundo Marcial-Romero, José Antonio Hernández Servín, Guillermo De Ita

Proceedings of the Eleventh Latin American Workshop on Logic/Languages, 2018

A history and reversibility for quantum programming language QML.

Nely Plata César, José Raymundo Marcial-Romero, José Antonio Hernández Servín

Proceedings of the Eleventh Latin American Workshop on Logic/Languages, 2018

A Hybrid Feature Extraction Method for Offline Handwritten Math Symbol Recognition.

Carlos Ramírez Piña, José Salvador Sánchez, Rosa María Valdovinos Rosas, José Antonio Hernández Servín

Proceedings of the Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, 2018

2017

Low-exponential Algorithm for Counting the Number of Edge Cover on Simple Graphs.

José Antonio Hernández Servín, José Raymundo Marcial-Romero, Guillermo De Ita Luna

Computación y Sistemas, 2017

Extending Extremal Polygonal Arrays for the Merrifield-Simmons Index.

Guillermo De Ita Luna, José Raymundo Marcial-Romero, José Antonio Hernández Servín, Rosa Maria Valdovinos, Marcelo Romero

Proceedings of the Pattern Recognition - 9th Mexican Conference, 2017

2016

The Incremental Satisfiability Problem for a Two Conjunctive Normal Form.

Guillermo De Ita Luna, José Raymundo Marcial-Romero, José Antonio Hernández Servín

Proceedings of the Selected Papers of the Tenth Latin American Workshop on Logic/Languages, 2016

Computing the Clique-width of Cactus Graphs.

J. Leonardo González-Ruiz, José Raymundo Marcial-Romero, José Antonio Hernández Servín

Proceedings of the Selected Papers of the Tenth Latin American Workshop on Logic/Languages, 2016

Computing the Clique-Width of Polygonal Tree Graphs.

J. Leonardo González-Ruiz, José Raymundo Marcial-Romero, José Antonio Hernández Servín, Guillermo De Ita Luna

Proceedings of the Advances in Soft Computing, 2016

An Optimization Approach to the TWPVD Method for Digital Image Steganography.

Ismael R. Grajeda-Marín, Héctor A. Montes Venegas, José Raymundo Marcial-Romero, José Antonio Hernández Servín, Guillermo De Ita Luna

Proceedings of the Pattern Recognition - 8th Mexican Conference, 2016

A simplied feature vector obtained by wavelets method for fast and accurate recognition of handwritten characters off-line.

Carlos Ramírez Piña, Vianney Muñoz-Jiménez, Rosa María Valdovinos Rosas, José Antonio Hernández Servín

Proceedings of the Tenth Latin American Workshop on Logic/Languages, 2016

Approximate the chromatic number of a graph using maximal independent sets.

Angélica Guzmán Ponce, José Raymundo Marcial-Romero, Guillermo De Ita Luna, José Antonio Hernández Servín

Proceedings of the 2016 International Conference on Electronics, 2016

2015

Un algoritmo para calcular #2SAT.

Marco A. López Medina, José Raymundo Marcial-Romero, Guillermo De Ita Luna, José Antonio Hernández Servín

Res. Comput. Sci., 2015

Development of an Interpreter for LRT using the Exact Real Number Paradigm.

J. Leonardo González-Ruiz, José Antonio Hernández Servín, José Raymundo Marcial-Romero

Res. Comput. Sci., 2015

A Parametric Polynomial Deterministic Algorithm for #2SAT.

José Raymundo Marcial-Romero, Guillermo De Ita Luna, José Antonio Hernández Servín, Rosa Maria Valdovinos

Proceedings of the Advances in Artificial Intelligence and Soft Computing, 2015

A Modification of the TPVD Algorithm for Data Embedding.

José Antonio Hernández Servín, José Raymundo Marcial-Romero, Vianney Muñoz-Jiménez, Héctor A. Montes Venegas

Proceedings of the Pattern Recognition - 7th Mexican Conference, 2015

An algorithm to approximate the chromatic number of graphs.

Angélica Guzmán Ponce, José Raymundo Marcial-Romero, José Antonio Hernández Servín, Guillermo De Ita Luna

Proceedings of the 25. International Conference on Electronics, 2015

2014

Using Binary Patterns for Counting Falsifying Assignments of Conjunctive Forms.

Guillermo De Ita Luna, José Raymundo Marcial-Romero, Maria del Pilar Pozos Parra, José Antonio Hernández Servín

Proceedings of the Selected Papers of the Ninth Latin American Workshop on Logic/Languages, 2014

2012

Edge covering of acyclic graphs.

José Antonio Hernández Servín, José Raymundo Marcial-Romero, Guillermo De Ita Luna

Proceedings of the Eighth Latin American Workshop on Logic / Languages, 2012

2011

A Threshold for a Polynomial Solution of #2SAT.

Guillermo De Ita Luna, José Raymundo Marcial-Romero, José Antonio Hernández Servín

Fundam. Informaticae, 2011

A GMP-FC++ Implementation of a Calculator for Exact Real Number Computation Based on LRT.

José Raymundo Marcial-Romero, Alejandra Y. Lucatero, José Antonio Hernández Servín

Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, 2011

2010

Functional first order definability of LRTP.

José Raymundo Marcial-Romero, José Antonio Hernández Servín

Inteligencia Artif., 2010

2009

Functional first order de definability of LRTp.

José Raymundo Marcial-Romero, José Antonio Hernández Servín

Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , 2009

A Simulator for Teaching Automatas and Formal Languages - FLyA.

José Raymundo Marcial-Romero, Pedro A. Alvarez Contreras, Héctor A. Montes Venegas, José Antonio Hernández Servín

Proceedings of the ICEIS 2009, 2009

Comparing Implementations of a Calculator for Exact Real Number Computation.

José Raymundo Marcial-Romero, José Antonio Hernández Servín, Héctor A. Montes Venegas

Proceedings of the 2009 Mexican International Conference on Computer Science, 2009