An efficient time-free solution to SAT problem by P systems with proteins on membranes

DOI10.1016/J.JCSS.2016.03.008zbMath1342.68133OpenAlexW2313379588MaRDI QIDQ295645

Mario J. Pérez-Jiménez, Bosheng Song, Lin-Qiang Pan

Publication date: 13 June 2016

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://idus.us.es/handle//11441/107940

zbMATH Keywords

P systemSATmembrane proteintime-free uniform solution

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (9)

An efficient time-free solution to QSAT problem using P systems with proteins on membranes ⋮ Solving SAT with P systems with anti-membranes ⋮ Solving 3-SAT in distributed P systems with string objects ⋮ The computational power of timed P systems with active membranes using promoters ⋮ Distributed computation of a \(k\) P systems with active membranes for SAT using clause completion ⋮ Time-freeness and clock-freeness and related concepts in P systems ⋮ Tissue-like P systems with evolutional symport/antiport rules ⋮ Solution to PSPACE-complete problem using P systems with active membranes with time-freeness ⋮ A uniform solution to SAT problem by symport/antiport P systems with channel states and membrane division

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cell-like spiking neural P systems
• P systems with proteins on membranes characterize PSPACE
• Computational efficiency and universality of timed P systems with active membranes
• Computational efficiency and universality of timed P systems with membrane creation
• The power of communication: P systems with symport/antiport
• Computational complexity of tissue-like P systems
• Tissue P systems.
• Computing with membranes
• Tissue P systems with channel states
• Membrane computing. An introduction.
• Time-free solution to SAT problem by P systems with active membranes and standard cell division rules
• Time-free solution to SAT problem using P systems with active membranes
• Tissue P Systems with Protein on Cells
• P Systems with Proteins on Membranes and Membrane Division
• Membrane Computing
• On the Computational Power of Flip-Flop Proteins on Membranes
• On Flip-Flop Membrane Systems with Proteins

This page was built for publication: An efficient time-free solution to SAT problem by P systems with proteins on membranes