A uniform solution to SAT using membrane creation
type: Item
instance of: scholarly article
title: A uniform solution to SAT using membrane creation
zbMATH Open document ID: 1108.68058
author: Mario J. Pérez-Jiménez
author: Francisco J. Romero-Campero
author: Miguel A. Gutiérrez-Naranjo
published in: Theoretical Computer Science
publication date: 2007-03-12T00:00:00Z
Mathematics Subject Classification ID: 68Q15
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 5132985
zbMATH Keywords: natural computing
zbMATH Keywords: membrane computing
zbMATH Keywords: cellular complexity classes
zbMATH Keywords: SAT problem
MaRDI profile type: Publication
full work available at URL: j.tcs.2006.10.013
OpenAlex ID: W2086485204
cites work: A fast \(P\) system for finding a balanced 2-partition
cites work: How to express tumours using membrane systems
cites work: Membrane computing. An introduction.
cites work: Membrane Computing
cites work: Q3515202
cites work: The power of communication: P systems with symport/antiport
cites work: Computing with membranes
DOI: 10.1016/J.TCS.2006.10.013
Recommended article: Membrane Computing
Recommended article: A New Approach for Solving SAT by P Systems with Active Membranes
Recommended article: Solving SAT with P systems with anti-membranes
Recommended article: Uniform Solution of QSAT Using Polarizationless Active Membranes
Recommended article: Time-free solution to SAT problem using P systems with active membranes
Recommended article: Q4416448
Recommended article: An efficient time-free solution to SAT problem by P systems with proteins on membranes
Recommended article: Solving SAT by P Systems with Active Membranes in Linear Time in the Number of Variables
Recommended article: Solving HPP and SAT by P systems with active membranes and separation rules
Recommended article: Time-free solution to SAT problem by P systems with active membranes and standard cell division rules
description: scientific article; zbMATH DE number 5132985