A New Approach for Solving SAT by P Systems with Active Membranes

DOI10.1007/978-3-642-36751-9_14zbMath1388.68115OpenAlexW118976766MaRDI QIDQ4913840

Gábor Kolonits, Zsolt Gazdag

Publication date: 16 April 2013

Published in: Membrane Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-36751-9_14

zbMATH Keywords

SAT problemP systemsmembrane computing

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items

On the power of P systems with active membranes using weak non-elementary membrane division ⋮ Solving SAT with P systems with anti-membranes ⋮ Solving 3-SAT in distributed P systems with string objects ⋮ Evaluating space measures in P systems ⋮ Remarks on the Computational Power of Some Restricted Variants of P Systems with Active Membranes ⋮ Distributed computation of a \(k\) P systems with active membranes for SAT using clause completion ⋮ Alternative space definitions for P systems with active membranes ⋮ A new method to simulate restricted variants of polarizationless P systems with active membranes ⋮ Time-free solution to SAT problem by tissue P systems