Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (453kB) | Vista Previa |
ORCID: https://orcid.org/0000-0002-7273-0526
(2003).
Solving SAT in linear time with a neural-like membrane system.
"Lecture Notes in Computer Science", v. 2686
(n. null);
pp. 662-669.
ISSN 0302-9743.
https://doi.org/10.1007/3-540-44868-3_84.
| Título: | Solving SAT in linear time with a neural-like membrane system |
|---|---|
| Autor/es: |
|
| Tipo de Documento: | Artículo |
| Título de Revista/Publicación: | Lecture Notes in Computer Science |
| Fecha: | 2003 |
| ISSN: | 0302-9743 |
| Volumen: | 2686 |
| Número: | null |
| Materias: | |
| ODS: | |
| Escuela: | Facultad de Informática (UPM) [antigua denominación] |
| Departamento: | Inteligencia Artificial |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (453kB) | Vista Previa |
We present in this paper a neural-like membrane system solving the SAT problem in linear time. These neural Psystems are nets of cells working with multisets. Each cell has a finite state memory, processes multisets of symbol-impulses, and can send impulses (?excitations?) to the neighboring cells. The maximal mode of rules application and the replicative mode of communication between cells are at the core of the eficiency of these systems.
| ID de Registro: | 15928 |
|---|---|
| Identificador DC: | https://oa.upm.es/15928/ |
| Identificador OAI: | oai:oa.upm.es:15928 |
| Identificador DOI: | 10.1007/3-540-44868-3_84 |
| URL Oficial: | http://link.springer.com/chapter/10.1007%2F3-540-4... |
| Depositado por: | Memoria Investigacion |
| Depositado el: | 24 Jun 2013 17:57 |
| Ultima Modificación: | 21 Abr 2016 16:14 |
Publicar en el Archivo Digital desde el Portal Científico