- idUS
- Browsing by Author
Browsing by Author "Rodrigues, J. I."
Now showing items 1-1 of 1
-
Presentation
PURL: A new polynomial-time solvable class of satisfiability
Portillo Fernández, José Ramón; Rodrigues, J. I. (Universidad de Cádiz, 2007)In this work a new polynomial-time solvable class of satisfiability PURL ( PropUnit RemoveLiterals) is presented, based ...