Author of the publication

Recognizing Structural Patterns on Graphs for the Efficient Computation of #2SAT.

, , and . MCPR, volume 7914 of Lecture Notes in Computer Science, page 274-283. Springer, (2013)

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.

 

Other publications of authors with the same name

A Novel Method for Counting Models on Grid Boolean Formulas., , and . MCPR, volume 6256 of Lecture Notes in Computer Science, page 322-331. Springer, (2010)An Approximate Algorithm for the Chromatic Number of Graphs., , and . Electron. Notes Discret. Math., (2014)Efficient Computation of the Degree of Belief for a Subclass of Two Conjunctive Forms., and . Inteligencia Artif., 14 (48): 15-27 (2010)A New Optimization Strategy for Solving the Fall-Off Boundary Value Problem in Pixel-Value Differencing Steganography., , , , , and . Int. J. Pattern Recognit. Artif. Intell., 32 (1): 1860010:1-1860010:17 (2018)Caracterización de complejidad semántica en pasajes tipo TOEFL., , and . Rev. Colomb. de Computación, 22 (2): 72-79 (2021)Smart Tourism in 1-Click., , , and . FNC/MobiSPC, volume 56 of Procedia Computer Science, page 447-452. Elsevier, (2015)Recognizing Structural Patterns on Graphs for the Efficient Computation of #2SAT., , and . MCPR, volume 7914 of Lecture Notes in Computer Science, page 274-283. Springer, (2013)A Logical Database for Geriatric Purposes., , and . AMW, volume 1087 of CEUR Workshop Proceedings, CEUR-WS.org, (2013)A Note for Parametric Complexity of #2SAT., , and . LA-NMR, volume 804 of CEUR Workshop Proceedings, page 95-104. CEUR-WS.org, (2011)Efficient counting of models for boolean formulas represented by embedded cycles., , and . LA-NMR, volume 286 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)