Menú

A Bottom-Up Algorithm for Solving #2Sat

De Ita, Guillermo; Marcial Romero, J. Raymundo; Hernández Servín, J. A.
URI: http://hdl.handle.net/20.500.11799/104962
Fecha: 2019-08-01

Mostrar el registro completo del objeto digital

Ficheros en el objeto digital

Nombre: 2019-slalm.pdf
Tamaño: 327.5Kb
Formato: PDF
Ver documento

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

Buscar en RI


Buscar en RI

Usuario

Estadísticas