Uniform Solution of QSAT Using Polarizationless Active Membranes
From MaRDI portal
Publication:3608476
DOI10.1007/978-3-540-74593-8_11zbMath1211.68194OpenAlexW32349060MaRDI QIDQ3608476
Mario J. Pérez-Jiménez, Artiom Alhazov
Publication date: 5 March 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://idus.us.es/xmlui/handle/11441/36963
Related Items (30)
From distribution to replication in cooperative systems with active membranes: a frontier of the efficiency ⋮ On the power of P systems with active membranes using weak non-elementary membrane division ⋮ Solving a PSPACE-complete problem by symport/antiport P systems with promoters and membrane division ⋮ Complexity of evolution in maximum cooperative P systems ⋮ Reaching efficiency through collaboration in membrane systems: dissolution, polarization and cooperation ⋮ Accelerated execution of P systems with active membranes to solve the \(N\)-queens problem ⋮ From \texttt{SAT} to \texttt{SAT}-\texttt{UNSAT} using P systems with dissolution rules ⋮ On the power of membrane dissolution in polarizationless P systems with active membranes ⋮ Active P-colonies ⋮ Evaluating space measures in P systems ⋮ Cell-like P systems with evolutional symport/antiport rules and membrane creation ⋮ A Characterisation of NL Using Membrane Systems without Charges and Dissolution ⋮ Solving a PSPACE-complete problem with cP systems ⋮ Seeking computational efficiency boundaries: the Păun's conjecture ⋮ Alternative space definitions for P systems with active membranes ⋮ A new method to simulate restricted variants of polarizationless P systems with active membranes ⋮ Selected Topics in Computational Complexity of Membrane Systems ⋮ A toolbox for simpler active membrane algorithms ⋮ Proof techniques in membrane computing ⋮ The computational power of membrane systems under tight uniformity conditions ⋮ Subroutines in P systems and closure properties of their complexity classes ⋮ When object production tunes the efficiency of membrane systems ⋮ Solution to PSPACE-complete problem using P systems with active membranes with time-freeness ⋮ Minimal cooperation as a way to achieve the efficiency in cell-like membrane systems ⋮ P systems attacking hard problems beyond NP: a survey ⋮ Rule synchronization for tissue P systems ⋮ The computational power of monodirectional tissue P systems with symport rules ⋮ Cell-like P systems with polarizations and minimal rules ⋮ A Framework for Complexity Classes in Membrane Computing ⋮ Optical computing
This page was built for publication: Uniform Solution of QSAT Using Polarizationless Active Membranes
