( en | de | ru )

 

Disambiguation of "Servín, José Antonio Hernández"

Author of the publication

copydeleteadd this publication to your clipboard
A Parametric Polynomial Deterministic Algorithm for #2SAT.

, , , and . MICAI (1), volume 9413 of Lecture Notes in Computer Science, page 202-213. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

José Hernández Rivera

José Hernández-Richter

José Roberto Flores Hernández

José Luis Hernández-López

José Rafael Hernández Arias

 

Other publications of authors with the same name

Development of an Interpreter for LRT using the Exact Real Number Paradigm., , and . Res. Comput. Sci., (2015)Approximate the Clique-Width of a Graph Using Shortest Paths., , , and . MICAI (2), volume 13068 of Lecture Notes in Computer Science, page 337-347. Springer, (2021)Functional first order definability of LRTP., and . Inteligencia Artif., 14 (48): 28-40 (2010)A GMP-FC++ Implementation of a Calculator for Exact Real Number Computation Based on LRT., , and . LA-NMR, volume 804 of CEUR Workshop Proceedings, page 71-82. CEUR-WS.org, (2011)Model counting for #2SAT problem in outerplanar graphs., , , and . LANMR, volume 2264 of CEUR Workshop Proceedings, page 76-87. CEUR-WS.org, (2018)Edge covering of acyclic graphs., , and . LA-NMR, volume 911 of CEUR Workshop Proceedings, page 63-74. CEUR-WS.org, (2012)A bottom-up algorithm for solving ♯2SAT., , and . Log. J. IGPL, 28 (6): 1130-1140 (2020)An Optimization Approach to the TWPVD Method for Digital Image Steganography., , , , and . MCPR, volume 9703 of Lecture Notes in Computer Science, page 125-134. Springer, (2016)A Threshold for a Polynomial Solution of #2SAT., , and . Fundam. Informaticae, 113 (1): 63-77 (2011)Un algoritmo para calcular #2SAT., , , and . Res. Comput. Sci., (2015)