Distributed computation of a k P systems with active membranes for SAT using clause completion
DOI10.1007/S41965-020-00040-4zbMATH Open1469.68026OpenAlexW3030964345MaRDI QIDQ1982964FDOQ1982964
Henry N. Adorna, Kelvin C. Buño
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
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)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computing with membranes
- Membrane computing. An introduction.
- Time-free solution to SAT problem using P systems with active membranes
- An efficient time-free solution to SAT problem by P systems with proteins on membranes
- Solving the N-queens problem using dP systems with active membranes
- A New Approach for Solving SAT by P Systems with Active Membranes
- A uniform solution to SAT using membrane creation
- Solving SAT by P Systems with Active Membranes in Linear Time in the Number of Variables
- Tissue-like P systems with evolutional symport/antiport rules
- A survey of results on evolution-communication P systems with energy
- Solution to PSPACE-complete problem using P systems with active membranes with time-freeness
- P systems attacking hard problems beyond NP: a survey
Cited In (7)
- Solving 3-SAT in distributed P systems with string objects
- Alternative space definitions for P systems with active membranes
- 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)
