Solving HPP and SAT by P systems with active membranes and separation rules
From MaRDI portal
Publication:2502273
Recommendations
- Further remarks on \(P\) systems with active membranes, separation, merging, and release rules
- scientific article; zbMATH DE number 1958491
- Further remark on P systems with active membranes and two polarizations
- scientific article; zbMATH DE number 1583885
- Solving SAT by P Systems with Active Membranes in Linear Time in the Number of Variables
Cites work
- Complexity classes in models of cellular computing with membranes
- Computing with membranes
- scientific article; zbMATH DE number 3639144 (Why is no real title available?)
- scientific article; zbMATH DE number 610968 (Why is no real title available?)
- scientific article; zbMATH DE number 941396 (Why is no real title available?)
- scientific article; zbMATH DE number 2118901 (Why is no real title available?)
- scientific article; zbMATH DE number 3413820 (Why is no real title available?)
- P systems with active membranes: Attacking NP-complete problems
- Trading polarizations for labels in P systems with active membranes
Cited in
(24)- Solving the N-queens problem using dP systems with active membranes
- Reaching efficiency through collaboration in membrane systems: dissolution, polarization and cooperation
- Tissue P systems with promoter simulation with MeCoSim and P-Lingua framework
- 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
- Further remarks on \(P\) systems with active membranes, separation, merging, and release rules
- scientific article; zbMATH DE number 1583879 (Why is no real title available?)
- A Solution of Horn-SAT with P Systems Using Antimatter
- Logic and arithmetic operations with a constant number of steps in membrane computing
- Accelerated execution of P systems with active membranes to solve the N-queens problem
- A linear time complexity of breadth-first search using P system with membrane division
- A new approach for solving SAT by P systems with active membranes
- A tissue P system based solution to quadratic assignment problem
- Solving SAT by P Systems with Active Membranes in Linear Time in the Number of Variables
- Machines, Computations, and Universality
- Solving SAT with P systems with anti-membranes
- The power of synchronizing rules in membrane computing
- On the efficiency of synchronized P systems
- A bibliometric analysis of membrane computing (1998--2019)
- Towards automated deduction in cP systems
- Solving 3-SAT in distributed P systems with string objects
- Communication P systems on simplicial complexes with applications in cluster analysis
- Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems
- A uniform solution to SAT using membrane creation
This page was built for publication: Solving HPP and SAT by P systems with active membranes and separation rules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2502273)
