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

From MaRDI portal
(Redirected from Publication:1982964)
Distributed computation of a \(k\) P systems with active membranes for SAT using clause completion