Uniform Solution of QSAT Using Polarizationless Active Membranes

DOI10.1007/978-3-540-74593-8_11MaRDI QIDQ3608476zbMATH OpenOpenAlexFDO

Authors Artiom Alhazov, Mario J. Pérez-Jiménez

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

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• A new approach for solving SAT by P systems with active membranes
• Solving SAT by P Systems with Active Membranes in Linear Time in the Number of Variables
• Membrane Computing
• Minimal parallelism and number of membrane polarizations
• Complexity aspects of polarizationless membrane systems

Cited in

(33)

• From \texttt{SAT} to \texttt{SAT}-\texttt{UNSAT} using P systems with dissolution rules
• Alternative space definitions for P systems with active membranes
• Accelerated execution of P systems with active membranes to solve the N-queens problem
• Membrane Computing
• Minimal cooperation as a way to achieve the efficiency in cell-like membrane systems
• P systems attacking hard problems beyond NP: a survey
• Solution to PSPACE-complete problem using P systems with active membranes with time-freeness
• Proof techniques in membrane computing
• A uniform solution to SAT using membrane creation
• Subroutines in P systems and closure properties of their complexity classes
• Optical computing
• The computational power of membrane systems under tight uniformity conditions
• The computational power of monodirectional tissue P systems with symport rules
• Active P-colonies
• Solving a PSPACE-complete problem with cP systems
• A framework for complexity classes in membrane computing
• Seeking computational efficiency boundaries: the Păun's conjecture
• On the power of membrane dissolution in polarizationless P systems with active membranes
• Rule synchronization for tissue P systems
• A Characterisation of NL Using Membrane Systems without Charges and Dissolution
• A new approach for solving SAT by P systems with active membranes
• From distribution to replication in cooperative systems with active membranes: a frontier of the efficiency
• Cell-like P systems with evolutional symport/antiport rules and membrane creation
• Evaluating space measures in P systems
• 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
• Solving a PSPACE-complete problem by symport/antiport P systems with promoters and membrane division
• Complexity of evolution in maximum cooperative P systems
• Cell-like P systems with polarizations and minimal rules
• When object production tunes the efficiency of membrane systems
• Reaching efficiency through collaboration in membrane systems: dissolution, polarization and cooperation
• Selected Topics in Computational Complexity of Membrane Systems
• A toolbox for simpler active membrane algorithms

This page was built for publication: Uniform Solution of QSAT Using Polarizationless Active Membranes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608476)