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

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

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (453kB) | Preview

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: http://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
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM