An efficient time-free solution to SAT problem by P systems with proteins on membranes
作者：
Highlights：
• The notion of time-free solution to decision 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, is defined.
• A time-free uniform solution to the SAT problem by P systems with proteins on membranes is given.
摘要
•The notion of time-free solution to decision 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, is defined.•A time-free uniform solution to the SAT problem by P systems with proteins on membranes is given.
论文关键词：P system,Membrane protein,Time-free uniform solution,SAT
论文评审过程：Received 14 May 2014, Revised 14 March 2016, Accepted 29 March 2016, Available online 5 April 2016, Version of Record 10 June 2016.
论文官网地址：https://doi.org/10.1016/j.jcss.2016.03.008
