Mostrar el registro sencillo del objeto digital

dc.contributor.author De Ita, Guillermo
dc.contributor.author Marcial Romero, J. Raymundo
dc.contributor.author Hernández Servín, J. A.
dc.date.accessioned 2019-11-13T19:08:10Z
dc.date.available 2019-11-13T19:08:10Z
dc.date.issued 2019-08-01
dc.identifier.issn 1367-0751
dc.identifier.uri http://hdl.handle.net/20.500.11799/104962
dc.language.iso eng es
dc.publisher LOGIC JOURNAL OF THE IGPL es
dc.rights restrictedAccess es
dc.rights https://creativecommons.org/licenses/by/4.0/ es
dc.rights restrictedAccess es
dc.rights https://creativecommons.org/licenses/by/4.0/ es
dc.subject Graph Decomposition es
dc.subject Enumerative Algorithm es
dc.subject Counting models es
dc.title A Bottom-Up Algorithm for Solving #2Sat es
dc.type Artículo es
dc.provenance Científica es
dc.road Dorada es
dc.organismo Ingeniería es


Ficheros en el objeto digital

Este ítem aparece en la(s) siguiente(s) colección(ones)

Visualización del Documento

  • Título
  • A Bottom-Up Algorithm for Solving #2Sat
  • Autor
  • De Ita, Guillermo
  • Marcial Romero, J. Raymundo
  • Hernández Servín, J. A.
  • Fecha de publicación
  • 2019-08-01
  • Editor
  • LOGIC JOURNAL OF THE IGPL
  • Tipo de documento
  • Artículo
  • Palabras clave
  • Graph Decomposition
  • Enumerative Algorithm
  • Counting models
  • Los documentos depositados en el Repositorio Institucional de la Universidad Autónoma del Estado de México se encuentran a disposición en Acceso Abierto bajo la licencia Creative Commons: Atribución-NoComercial-SinDerivar 4.0 Internacional (CC BY-NC-ND 4.0)

Mostrar el registro sencillo del objeto digital

Buscar en RI


Buscar en RI

Usuario

Estadísticas