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"
-
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 ...