Distributed computation of a \(k\) P systems with active membranes for SAT using clause completion
type: Item
instance of: scholarly article
title: Distributed computation of a \(k\) P systems with active membranes for SAT using clause completion
zbMATH Open document ID: 1469.68026
published in: Journal of Membrane Computing
publication date: 2021-09-14T00:00:00Z
Mathematics Subject Classification ID: 68Q07
Mathematics Subject Classification ID: 68Q11
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 7395458
zbMATH Keywords: membrane computing
zbMATH Keywords: distributed P-systems
zbMATH Keywords: SAT
zbMATH Keywords: communication complexity
author: Kelvin C. Buño
author: Henry N. Adorna
MaRDI profile type: Publication
full work available at URL: s41965-020-00040-4
OpenAlex ID: W3030964345
cites work: Solving the N-queens problem using dP systems with active membranes
cites work: Solving SAT by P Systems with Active Membranes in Linear Time in the Number of Variables
cites work: A New Approach for Solving SAT by P Systems with Active Membranes
cites work: A uniform solution to SAT using membrane creation
cites work: A survey of results on evolution-communication P systems with energy
cites work: Q2707535
cites work: Computing with membranes
cites work: Membrane computing. An introduction.
cites work: Q3406469
cites work: Solution to PSPACE-complete problem using P systems with active membranes with time-freeness
cites work: An efficient time-free solution to SAT problem by P systems with proteins on membranes
cites work: Tissue-like P systems with evolutional symport/antiport rules
cites work: Time-free solution to SAT problem using P systems with active membranes
cites work: P systems attacking hard problems beyond NP: a survey
cites work: Q2707541
DOI: 10.1007/S41965-020-00040-4
description: scientific article; zbMATH DE number 7395458