Distributed computation of a k P systems with active membranes for SAT using clause completion
Open Access
- 25 May 2020
- journal article
- research article
- Published by Springer Nature in Journal of Membrane Computing
- Vol. 2 (2) , 108-120
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- An efficient time-free solution to SAT problem by P systems with proteins on membranesJournal of Computer and System Sciences, 2016
- A Uniform Algorithm of Solving All-SAT Using Membrane SystemsJournal of Computational and Theoretical Nanoscience, 2015
- Time-free solution to SAT problem using P systems with active membranesTheoretical Computer Science, 2014
- Solving SAT by P Systems with Active Membranes in Linear Time in the Number of Variables2014
- Solving Problems in a DistributedWay in Membrane Computing: dP SystemsInternational Journal of Computers Communications & Control, 2010
- A uniform solution to SAT using membrane creationTheoretical Computer Science, 2007
- Solving NP-Complete Problems Using P Systems with Active Membranes2001
- On P Systems with Active Membranes2001
- Computing with MembranesJournal of Computer and System Sciences, 2000
- Some complexity questions related to distributive computing(Preliminary Report)1979