ListarCiencias de la Computación e Inteligencia Artificial por materia "UNIQUE SAT problem"
Mostrando ítems 1-1 de 1
-
Artículo
The Unique Satisfiability Problem from a Membrane Computing Perspective
(Romanian Academy, Section for Information Science and Technology, 2018)Complexity class DP is the class of “differences” of any two languages in NP. It verifies that NP[ co-NP DP PNP, where ...