Ficheros en el objeto digital

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

Visualización del Documento

  • Título
  • The Incremental Satisfiability Problem for a Two Conjunctive Normal Form
  • Autor
  • DE ITA LUNA, GUILLERMO
  • MARCIAL ROMERO, JOSE RAYMUNDO
  • HERNANDEZ SERVIN, JOSE ANTONIO
  • Fecha de publicación
  • 2016-01-01
  • Editor
  • ELSEVIER
  • Tipo de documento
  • Artículo
  • Palabras clave
  • satisfiability problem
  • incremental satisfiability problem
  • 2-sat
  • entail propositional problem
  • 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)
openAccess Excepto si se señala otra cosa, la licencia del ítem se describe cómo openAccess

Buscar en RI


Buscar en RI

Usuario

Estadísticas