Dissemin is shutting down on January 1st, 2025

Published in

Elsevier, Journal of Computer and System Sciences, 6(82), p. 1090-1099, 2016

DOI: 10.1016/j.jcss.2016.03.008

Links

Tools

Export citation

Search in Google Scholar

An efficient time-free solution to SAT problem by P systems with proteins on membranes

Journal article published in 2016 by Bosheng Song, Mario J. Pérez Jiménez ORCID, Linqiang Pan ORCID
This paper is available in a repository.
This paper is available in a repository.

Full text: Download

Green circle
Preprint: archiving allowed
Orange circle
Postprint: archiving restricted
Red circle
Published version: archiving forbidden
Data provided by SHERPA/RoMEO

Abstract

P systems with proteins on membranes are a class of bio-inspired computing models, where the execution of each rule completes in exactly one time unit. However, in living cells, the execution time of biochemical reactions is difficult to know precisely because of various uncontrollable factors. In this work, we present a time-free uniform solution to SAT problem by P systems with proteins on membranes in the sense that the correctness of the solution is irrelevant to the times associated with the involved rules, and the P systems are constructed from the sizes of instances.