Solving SAT in linear time with a neural-like membrane system

Pazos Sierra, Juan, Rodríguez-Patón Aradas, Alfonso and Silva Vazquez, Andrés 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.

Descripción

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

Texto completo

[thumbnail of INVE_MEM_2003_139880.pdf]
Vista Previa
PDF (Portable Document Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (453kB) | Vista Previa

Resumen

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.

Más información

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