Distributed computation of a k P systems with active membranes for SAT using clause completion

DOI10.1007/S41965-020-00040-4MaRDI QIDQ1982964zbMATH OpenOpenAlexFDO

Authors Kelvin C. Buño, Henry N. Adorna

Publication date 14 September 2021

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

Full work available at URL https://doi.org/10.1007/s41965-020-00040-4

zbMATH Keywords

membrane computingSATcommunication complexitydistributed P-systems

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07) Communication complexity, information complexity (68Q11)

Recommendations

• Solving SAT by P Systems with Active Membranes in Linear Time in the Number of Variables
• Solving 3-SAT in distributed P systems with string objects
• A new approach for solving SAT by P systems with active membranes
• P Systems with Proteins on Membranes and Membrane Division
• scientific article; zbMATH DE number 1958491

Cites work

• scientific article; zbMATH DE number 1583879 (Why is no real title available?)
• scientific article; zbMATH DE number 1583885 (Why is no real title available?)
• scientific article; zbMATH DE number 5671765 (Why is no real title available?)
• A new approach for solving SAT by P systems with active membranes
• A survey of results on evolution-communication P systems with energy
• A uniform solution to SAT using membrane creation
• An efficient time-free solution to SAT problem by P systems with proteins on membranes
• Computing with membranes
• Membrane computing. An introduction.
• P systems attacking hard problems beyond NP: a survey
• Solution to PSPACE-complete problem using P systems with active membranes with time-freeness
• Solving SAT by P Systems with Active Membranes in Linear Time in the Number of Variables
• Solving the N-queens problem using dP systems with active membranes
• Time-free solution to SAT problem using P systems with active membranes
• Tissue-like P systems with evolutional symport/antiport rules

Cited in

(7)

• Alternative space definitions for P systems with active membranes
• Solving 3-SAT in distributed P systems with string objects
• Proof techniques in membrane computing
• Solving SAT with P systems with anti-membranes
• Evaluating space measures in P systems
• On the power of P systems with active membranes using weak non-elementary membrane division
• Homeostasis tissue-like P systems with cell separation

This page was built for publication: Distributed computation of a \(k\) P systems with active membranes for SAT using clause completion

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