Solving SAT by P Systems with Active Membranes in Linear Time in the Number of Variables
From MaRDI portal
(Redirected from Publication:5404852)
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
Cited in
(21)- Remarks on the computational power of some restricted variants of P systems with active membranes
- From \texttt{SAT} to \texttt{SAT}-\texttt{UNSAT} using P systems with dissolution rules
- Distributed computation of a \(k\) P systems with active membranes for SAT using clause completion
- Solving the SAT problem with the string multiset rewriting calculus
- Solving 3-SAT in distributed P systems with string objects
- 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
- scientific article; zbMATH DE number 1951585 (Why is no real title available?)
- 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
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)
