Listar Conacyt por autor "DE ITA LUNA, GUILLERMO"

Ordenar por:Orden:Resultados:

  • DE ITA LUNA, GUILLERMO; MARCIAL ROMERO, JOSE RAYMUNDO; HERNANDEZ SERVIN, JOSE ANTONIO (Computación y Sistemas, 2017-01-01)
    A procedure for counting edge covers of simple graphs is presented. The procedure splits simple graphs into non-intersecting cycle graphs. This is a “low exponential” exact algorithm to count edge covers for simple graphs ...
  • DE ITA LUNA, GUILLERMO; MARCIAL ROMERO, JOSE RAYMUNDO; HERNANDEZ SERVIN, JOSE ANTONIO (ELSEVIER, 2016-01-01)
    We propose a novel method to review K ⊢ φ when K and φ are both in Conjunctive Normal Forms (CF). We extend our method to solve the incremental satisfiablity problem (ISAT), and we present different cases where ISAT can ...

Buscar en RI


Buscar en RI

Usuario