El Repositorio Institucional tendrá una ventana de mantenimiento por lo que no estará disponible el viernes 20 de septiembre en un horario de 19:00 a 21:00 hrs

ListarFacultad de Ingeniería por materia "2-sat"

Ordenar por:Orden:Resultados:

  • 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