Solving SAT by P Systems with Active Membranes in Linear Time in the Number of Variables
From MaRDI portal
Publication:5404852
DOI10.1007/978-3-642-54239-8_14zbMATH Open1407.68169OpenAlexW2187311691MaRDI QIDQ5404852FDOQ5404852
Authors: Zsolt Gazdag 
Publication date: 28 March 2014
Published in: Membrane Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-54239-8_14
Recommendations
- A new approach for solving SAT by P systems with active membranes
- scientific article; zbMATH DE number 1958491
- Time-free solution to SAT problem using P systems with active membranes
- Solving SAT with P systems with anti-membranes
- Solving HPP and SAT by P systems with active membranes and separation rules
- An efficient time-free solution to SAT problem by P systems with proteins on membranes
- Solving PP-Complete and #P-Complete Problems by P Systems with Active Membranes
- Time-free solution to SAT problem by P systems with active membranes and standard cell division rules
- Solution to PSPACE-complete problem using P systems with active membranes with time-freeness
- scientific article; zbMATH DE number 2080946
Analysis of algorithms and problem complexity (68Q25) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)
Cited In (21)
- Solving the SAT problem with the string multiset rewriting calculus
- Solving 3-SAT in distributed P systems with string objects
- Distributed computation of a \(k\) P systems with active membranes for SAT using clause completion
- Membrane Computing
- On the efficiency of a variant of P systems with mobile membranes
- Solution to PSPACE-complete problem using P systems with active membranes with time-freeness
- A uniform solution to SAT using membrane creation
- Further remarks on \(P\) systems with active membranes, separation, merging, and release rules
- Solving the N-queens problem using dP systems with active membranes
- A new approach for solving SAT by P systems with active membranes
- Solving SAT with P systems with anti-membranes
- A new method to simulate restricted variants of polarizationless P systems with active membranes
- On the power of P systems with active membranes using weak non-elementary membrane division
- Membrane Computing
- Solving HPP and SAT by P systems with active membranes and separation rules
- Title not available (Why is that?)
- Uniform Solution of QSAT Using Polarizationless Active Membranes
- Time-free solution to SAT problem using P systems with active membranes
- On efficient algorithms for SAT
- From \texttt{SAT} to \texttt{SAT}-\texttt{UNSAT} using P systems with dissolution rules
- Remarks on the computational power of some restricted variants of P systems with active membranes
This page was built for publication: Solving SAT by P Systems with Active Membranes in Linear Time in the Number of Variables
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5404852)
