From \texttt{SAT} to \texttt{SAT}-\texttt{UNSAT} using P systems with dissolution rules

DOI10.1007/S41965-022-00095-5MaRDI QIDQ6135713zbMATH OpenOpenAlexFDO

Authors Agustín Riscos-Núñez, Luis Valencia-Cabrera

Publication date 26 August 2023

Published in Journal of Membrane Computing (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s41965-022-00095-5

zbMATH Keywords

membrane computingsatisfiability problemproduct problemcomplexity class DP

Mathematics Subject Classification ID

Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07) Computational aspects of satisfiability (68R07)

Recommendations

• P Systems with Proteins on Membranes and Membrane Division
• A new approach for solving SAT by P systems with active membranes
• scientific article; zbMATH DE number 1951597
• Solving SAT by P Systems with Active Membranes in Linear Time in the Number of Variables
• P Systems with Elementary Active Membranes: Beyond NP and coNP

Cites work

• scientific article; zbMATH DE number 1583871 (Why is no real title available?)
• scientific article; zbMATH DE number 3930351 (Why is no real title available?)
• 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 1951597 (Why is no real title available?)
• A Turing machine simulation by P systems without charges
• Cell-like P systems with evolutional symport/antiport rules and membrane creation
• Cell-like P systems with polarizations and minimal rules
• Complexity classes in models of cellular computing with membranes
• Computing with membranes
• From NP-completeness to DP-completeness: a membrane computing perspective
• Membrane Computing
• Membrane computing. 10th international workshop, WMC 2009, Curtea de Arges, Romania, August 24--27, 2009. Revised selected and invited papers
• Membrane creation in polarizationless P systems with active membranes
• Membrane fission versus cell division: when membrane proliferation is not enough
• Subroutines in P systems and closure properties of their complexity classes
• The Boolean Hierarchy I: Structural Properties
• The complexity of facets (and some facets of complexity)
• Uniform Solution of QSAT Using Polarizationless Active Membranes

Cited in

(2)

• A Solution of Horn-SAT with P Systems Using Antimatter
• Solving SAT with P systems with anti-membranes

This page was built for publication: From \texttt{SAT} to \texttt{SAT}-\texttt{UNSAT} using P systems with dissolution rules

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