default search action
José Antonio Hernández Servín
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c26]Marco A. López Medina
, José Raymundo Marcial-Romero
A Method for Counting Models on Cubic Boolean Formulas. MCPR 2023: 69-78 - 2022
- [j9]Marco A. López Medina, J. Leonardo González-Ruiz, José Raymundo Marcial-Romero, José Antonio Hernández Servín:
Computing the Clique-Width on Series-Parallel Graphs. Computación y Sistemas 26(2) (2022) - [j8]Marco A. López Medina
A method for counting models on grid Boolean formulas. J. Intell. Fuzzy Syst. 42(5): 4719-4726 (2022) - 2021
- [c25]J. Leonardo González-Ruiz
Approximate the Clique-Width of a Graph Using Shortest Paths. MICAI (2) 2021: 337-347 - 2020
- [j7]Guillermo De Ita
A bottom-up algorithm for solving ♯2SAT. Log. J. IGPL 28(6): 1130-1140 (2020) - [c24]Marco A. López Medina
A Linear Time Algorithm for Counting #2SAT on Series-Parallel Formulas. MICAI (1) 2020: 437-447
2010 – 2019
- 2019
- [c23]Nely Plata César, José Raymundo Marcial-Romero, José Antonio Hernández Servín:
Measurements in quantum programming language QML. LANMR 2019: 159-168 - 2018
- [j6]Ismael R. Grajeda-Marín, Héctor A. Montes Venegas
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) - [c22]Carlos Ramírez Piña, José Salvador Sánchez, Rosa María Valdovinos Rosas
A Hybrid Feature Extraction Method for Offline Handwritten Math Symbol Recognition. CIARP 2018: 893-901 - [c21]Nely Plata César, José Raymundo Marcial-Romero, José Antonio Hernández Servín:
A history and reversibility for quantum programming language QML. LANMR 2018: 25-39 - [c20]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 - 2017
- [j5]José Antonio Hernández Servín, José Raymundo Marcial-Romero
Low-exponential Algorithm for Counting the Number of Edge Cover on Simple Graphs. Computación y Sistemas 21(3) (2017) - [c19]Guillermo De Ita Luna
Extending Extremal Polygonal Arrays for the Merrifield-Simmons Index. MCPR 2017: 22-31 - 2016
- [c18]Angélica Guzmán Ponce
Approximate the chromatic number of a graph using maximal independent sets. CONIELECOMP 2016: 19-24 - [c17]J. Leonardo González-Ruiz, José Raymundo Marcial-Romero, José Antonio Hernández Servín:
Computing the clique-width of cactus graphs. LANMR 2016: 17-24 - [c16]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 - [c15]Carlos Ramírez Piña, Vianney Muñoz-Jiménez, Rosa María Valdovinos Rosas, José Antonio Hernández Servín:
A simplied feature vector obtained by wavelets method for fast and accurate recognition of handwritten characters off-line. LANMR 2016: 90-97 - [c14]Ismael R. Grajeda-Marín, Héctor A. Montes Venegas
An Optimization Approach to the TWPVD Method for Digital Image Steganography. MCPR 2016: 125-134 - [c13]J. Leonardo González-Ruiz
Computing the Clique-Width of Polygonal Tree Graphs. MICAI (2) 2016: 449-459 - [c12]Guillermo De Ita Luna
The Incremental Satisfiability Problem for a Two Conjunctive Normal Form. LANMR (Selected Papers) 2016: 31-45 - [c11]J. Leonardo González-Ruiz
Computing the Clique-width of Cactus Graphs. LANMR (Selected Papers) 2016: 47-57 - 2015
- [j4]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) - [j3]J. Leonardo González-Ruiz, José Antonio Hernández Servín, José Raymundo Marcial-Romero:
Development of an Interpreter for LRT using the Exact Real Number Paradigm. Res. Comput. Sci. 96: 31-42 (2015) - [c10]Angélica Guzmán Ponce
An algorithm to approximate the chromatic number of graphs. CONIELECOMP 2015: 110-115 - [c9]José Antonio Hernández Servín, José Raymundo Marcial-Romero
A Modification of the TPVD Algorithm for Data Embedding. MCPR 2015: 74-83 - [c8]José Raymundo Marcial-Romero
A Parametric Polynomial Deterministic Algorithm for #2SAT. MICAI (1) 2015: 202-213 - 2014
- [c7]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 - [c6]Guillermo De Ita Luna
Using Binary Patterns for Counting Falsifying Assignments of Conjunctive Forms. LANMR (Selected Papers) 2014: 17-30 - 2012
- [c5]José Antonio Hernández Servín, José Raymundo Marcial-Romero, Guillermo De Ita Luna:
Edge covering of acyclic graphs. LA-NMR 2012: 63-74 - 2011
- [j2]Guillermo De Ita Luna
A Threshold for a Polynomial Solution of #2SAT. Fundam. Informaticae 113(1): 63-77 (2011) - [c4]José Raymundo Marcial-Romero, Alejandra Y. Lucatero, José Antonio Hernández Servín:
A GMP-FC++ Implementation of a Calculator for Exact Real Number Computation Based on LRT. LA-NMR 2011: 71-82 - 2010
- [j1]José Raymundo Marcial-Romero, José Antonio Hernández Servín:
Functional first order definability of LRTP. Inteligencia Artif. 14(48): 28-40 (2010)
2000 – 2009
- 2009
- [c3]José Raymundo Marcial-Romero
Comparing Implementations of a Calculator for Exact Real Number Computation. ENC 2009: 13-23 - [c2]José Raymundo Marcial-Romero, Pedro A. Alvarez Contreras, Héctor A. Montes Venegas, José Antonio Hernández Servín:
A Simulator for Teaching Automatas and Formal Languages - FLyA. ICEIS (4) 2009: 175-178 - [c1]José Raymundo Marcial-Romero, José Antonio Hernández Servín:
Functional first order de definability of LRTp. LA-NMR 2009: 40-60
Coauthor Index
aka: Guillermo De Ita
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:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: