ListarArtículos (Ciencias de la Computación e Inteligencia Artificial) por materia "SAT"
Mostrando ítems 1-2 de 2
-
Artículo
An efficient time-free solution to SAT problem by P systems with proteins on membranes
(Elsevier, 2016)P systems with proteins on membranes are a class of bio-inspired computing models,where the execution of each rule completes ...
-
Artículo
Simulating a P system based efficient solution to SAT by using GPUs
(Elsevier, 2010)P systems are inherently parallel and non-deterministic theoretical computing devices defined inside the field of Membrane ...