ListarArtículos (Matemática Aplicada I) por materia "Satisfiability"
Mostrando ítems 1-1 de 1
-
Ponencia
PURL: A new polynomial-time solvable class of satisfiability
(Universidad de Cádiz, 2007)In this work a new polynomial-time solvable class of satisfiability PURL ( PropUnit RemoveLiterals) is presented, based ...