Full text
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (453kB) | Preview |
Solving SAT in linear time with a neural-like membrane system
Citation
Pazos Sierra, Juan and Rodríguez-Patón Aradas, Alfonso and Silva Vazquez, Andrés (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.
Description
| Title: | Solving SAT in linear time with a neural-like membrane system |
|---|---|
| Author/s: |
|
| Item Type: | Article |
| Título de Revista/Publicación: | Lecture Notes in Computer Science |
| Date: | 2003 |
| ISSN: | 0302-9743 |
| Volume: | 2686 |
| Subjects: | |
| Faculty: | Facultad de Informática (UPM) |
| Department: | Inteligencia Artificial |
| Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
Abstract
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.
More information
| Item ID: | 15928 |
|---|---|
| DC Identifier: | https://oa.upm.es/15928/ |
| OAI Identifier: | oai:oa.upm.es:15928 |
| DOI: | 10.1007/3-540-44868-3_84 |
| Official URL: | http://link.springer.com/chapter/10.1007%2F3-540-44868-3_84 |
| Deposited by: | Memoria Investigacion |
| Deposited on: | 24 Jun 2013 17:57 |
| Last Modified: | 21 Apr 2016 16:14 |
