scientific article; zbMATH DE number 1958491
From MaRDI portal
Publication:4416448
Recommendations
Cited in
(33)- On the robust power of morphogenetic systems for time bounded computation
- Breaking DES using P systems.
- Distributed computation of a \(k\) P systems with active membranes for SAT using clause completion
- Solving a PSPACE-complete problem by symport/antiport P systems with promoters and membrane division
- Adaptive P systems
- Time-free solution to SAT problem using P systems with active membranes
- Solving HPP and SAT by P systems with active membranes and separation rules
- Further remarks on \(P\) systems with active membranes, separation, merging, and release rules
- scientific article; zbMATH DE number 1583877 (Why is no real title available?)
- P systems with active membranes: Attacking NP-complete problems
- A Solution of Horn-SAT with P Systems Using Antimatter
- Asynchronous P systems with active membranes
- scientific article; zbMATH DE number 1735643 (Why is no real title available?)
- scientific article; zbMATH DE number 1740165 (Why is no real title available?)
- scientific article; zbMATH DE number 1951574 (Why is no real title available?)
- scientific article; zbMATH DE number 1951585 (Why is no real title available?)
- A linear time complexity of breadth-first search using P system with membrane division
- scientific article; zbMATH DE number 2118901 (Why is no real title available?)
- Solving SAT by P Systems with Active Membranes in Linear Time in the Number of Variables
- On the efficiency of a variant of P systems with mobile membranes
- Formal Methods in Computer-Aided Design
- Theoretical Aspects of Computing - ICTAC 2004
- Machines, Computations, and Universality
- Membrane Computing
- Membrane Computing
- Aspects of Molecular Computing
- Aspects of Molecular Computing
- Solving SAT with P systems with anti-membranes
- The power of synchronizing rules in membrane computing
- On the efficiency of synchronized P systems
- Solving 3-SAT in distributed P systems with string objects
- Solving the SAT problem with the string multiset rewriting calculus
- A uniform solution to SAT using membrane creation
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4416448)
