{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,7]],"date-time":"2026-05-07T04:14:30Z","timestamp":1778127270861,"version":"3.51.4"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2020,5,25]],"date-time":"2020-05-25T00:00:00Z","timestamp":1590364800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,5,25]],"date-time":"2020-05-25T00:00:00Z","timestamp":1590364800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Membr Comput"],"published-print":{"date-parts":[[2020,6]]},"DOI":"10.1007\/s41965-020-00040-4","type":"journal-article","created":{"date-parts":[[2020,5,25]],"date-time":"2020-05-25T14:02:52Z","timestamp":1590415372000},"page":"108-120","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Distributed computation of a k P systems with active membranes for SAT using clause completion"],"prefix":"10.1007","volume":"2","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6150-9754","authenticated-orcid":false,"given":"Kelvin","family":"Bu\u00f1o","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henry","family":"Adorna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,5,25]]},"reference":[{"key":"40_CR1","doi-asserted-by":"publisher","first-page":"303","DOI":"10.15837\/ijccc.2018.3.3217","volume":"13","author":"H Adorna","year":"2018","unstructured":"Adorna, H., Pan, L., & Song, B. (2018). On Distributed Solution to SAT by Membrane Computing. Int. J. Comput. Commun. Control, 13, 303\u2013320. https:\/\/doi.org\/10.15837\/ijccc.2018.3.3217.","journal-title":"Int. J. Comput. Commun. Control"},{"key":"40_CR2","unstructured":"Adorna, H., P\u0103un, G., & P\u00e9rez-Jim\u00e9nez, M. (2010). On Communication Complexity in Evolution-Communication P systems. Roman. J. Inf. Sci. Technol. 13(2), 113\u2013130 https:\/\/www.scopus.com\/inward\/record.uri?eid=2-s2.0-84868036820&partnerID=40&md5=edde040b73b4dafcd73f70c574826799"},{"key":"40_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.tcs.2017.12.013","volume":"736","author":"Kelvin C. Bu\u00f1o","year":"2018","unstructured":"Bu\u00f1o, K. C., Cabarle, F. G. C., Calabia, M. D., & Adorna, H. N. (2017). Solving the N-Queens problem using dP systems with active membranes. Theor. Comput. Sci.,. https:\/\/doi.org\/10.1016\/j.tcs.2017.12.013. http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0304397517309040.","journal-title":"Theoretical Computer Science"},{"key":"40_CR4","doi-asserted-by":"crossref","unstructured":"Gazdag, Z. (2014). Solving SAT by P Systems with Active Membranes in Linear Time in the Number of Variables. In: A.\u00a0Alhazov, S.\u00a0Cojocaru, M.\u00a0Gheorghe, Y.\u00a0Rogozhin, G.\u00a0Rozenberg, A.\u00a0Salomaa (eds.) Membrane Computing, pp. 189\u2013205. Springer Berlin Heidelberg, Berlin, Heidelberg (2014)","DOI":"10.1007\/978-3-642-54239-8_14"},{"key":"40_CR5","doi-asserted-by":"crossref","unstructured":"Gazdag, Z., & Kolonits, G. (2013). A New Approach for Solving SAT by P Systems with Active Membranes. In: E.\u00a0Csuhaj-Varj\u00fa, M.\u00a0Gheorghe, G.\u00a0Rozenberg, A.\u00a0Salomaa, G.\u00a0Vaszil (eds.) Membrane Computing, pp. 195\u2013207. Springer Berlin Heidelberg, Berlin, Heidelberg (2013)","DOI":"10.1007\/978-3-642-36751-9_14"},{"key":"40_CR6","unstructured":"Guti\u00e9rrez-Naranjo, M.A., Mart\u00ednez-del-Amor, M.A., P\u00e9rez-Hurtado, I., & P\u00e9rez-Jim\u00e9nez, M.J.: Solving the N-Queens puzzle with P systems. In: Rosa Guti\u00e9rrez-Escudero and Miguel Angel Guti\u00e9rrez-Naranjo and Gheorghe P\u0103un and Ignacio P\u00e9rez-Hurtado and Agust\u00edn Riscos-N\u00fa\u00f1ez (ed.) 7th Brainstorming Week on Membrane Computing, pp. 199\u2013210. F\u00e9nix Editora, Sevilla, Espa\u00f1a (2009). http:\/\/www.gcn.us.es\/?q=node\/414"},{"key":"40_CR7","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1016\/j.tcs.2006.10.013","volume":"371","author":"M Guti\u00e9rrez-Naranjo","year":"2007","unstructured":"Guti\u00e9rrez-Naranjo, M., P\u00e9rez-Jim\u00e9nez, M., & Romero-Campero, F. (2007). A uniform solution to SAT using membrane creation. Theor. Comput. Sci., 371, 54\u201361. https:\/\/doi.org\/10.1016\/j.tcs.2006.10.013.","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"40_CR8","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/s41965-020-00034-2","volume":"2","author":"Richelle Ann B. Juayong","year":"2020","unstructured":"Juayong, R. A., & Adorna, H. (2020). A survey of results on evolution-communication p systems with energy. J. Membr. Comput., 2, https:\/\/doi.org\/10.1007\/s41965-020-00034-2.","journal-title":"Journal of Membrane Computing"},{"key":"40_CR9","doi-asserted-by":"publisher","first-page":"5825","DOI":"10.1166\/jctn.2015.4723","volume":"12","author":"Y Luo","year":"2015","unstructured":"Luo, Y., Xiong, Z., Tan, H., & Xia, S. (2015). A Uniform Algorithm of Solving All-SAT Using Membrane Systems. J. Comput. Theor. Nanosci., 12, 5825\u20135832. https:\/\/doi.org\/10.1166\/jctn.2015.4723.","journal-title":"J. Comput. Theor. Nanosci."},{"key":"40_CR10","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-1-4471-0313-4_15","volume-title":"Unconventional Models of Computation, UMC\u20192K","author":"Andrei P\u0103un","year":"2001","unstructured":"P\u0103un, A. (2001). On P Systems with Active Membranes. In: I.\u00a0Antoniou, C.S. Calude, M.J. Dinneen (eds.) Unconventional Models of Computation, UMC\u20192K: Proceedings of the Second International Conference on Unconventional Models of Computation, (UMC\u20192K), pp. 187\u2013201. Springer London, London. https:\/\/doi.org\/10.1007\/978-1-4471-0313-4_15."},{"issue":"1","key":"40_CR11","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"Gheorghe P\u0103un","year":"2000","unstructured":"P\u0103un, Gh. (2000). Computing with Membranes. J Comput Syst Sci, 61(1), 108\u2013143. https:\/\/doi.org\/10.1006\/jcss.1999.1693. http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0022000099916938.","journal-title":"Journal of Computer and System Sciences"},{"key":"40_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Membrane Computing: An Introduction","author":"Gh P\u0103un","year":"2002","unstructured":"P\u0103un, Gh. (2002). Membrane Computing: An Introduction. Berlin Heidelberg: Springer."},{"key":"40_CR13","doi-asserted-by":"crossref","unstructured":"P\u0103un, Gh., P\u00e9rez-Jim\u00e9nez, M.J. (2010). Solving Problems in a Distributed Way in Membrane Computing: dP Systems. International Journal of Computers, Communications and Control 5, 238\u2013250. http:\/\/www.journal.univagora.ro\/?page=article_details&id=408","DOI":"10.15837\/ijccc.2010.2.2478"},{"key":"40_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11467-0","volume-title":"The Oxford Handbook of Membrane Computing","author":"Gh P\u0103un","year":"2010","unstructured":"P\u0103un, Gh, Rozenberg, G., & Salomaa, A. (2010). The Oxford Handbook of Membrane Computing. New York: Oxford University Press Inc."},{"key":"40_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1155\/2019\/5793234","volume":"2019","author":"B Song","year":"2019","unstructured":"Song, B., & Kong, Y. (2019). Solution to pspace-complete problem using p systems with active membranes with time-freeness. Math. Probl. Eng., 2019, 1\u20138. https:\/\/doi.org\/10.1155\/2019\/5793234.","journal-title":"Math. Probl. Eng."},{"key":"40_CR16","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1016\/j.jcss.2016.03.008","volume":"82","author":"B Song","year":"2016","unstructured":"Song, B., P\u00e9rez-Jim\u00e9nez, M. J., & Pan, L. (2016). An efficient time-free solution to SAT problem by P systems with proteins on membranes. J. Comput. Syst. Sci., 82, 1090\u20131099.","journal-title":"J. Comput. Syst. Sci."},{"key":"40_CR17","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/j.ins.2016.10.046","volume":"378","author":"Bosheng Song","year":"2017","unstructured":"Song, B., Zhang, C., & Pan, L. (2017). Tissue-like P systems with evolutional symport\/antiport rules. Inf. Sci., 378, 177\u2013193. https:\/\/doi.org\/10.1016\/j.ins.2016.10.046. http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0020025516313974.","journal-title":"Information Sciences"},{"key":"40_CR18","doi-asserted-by":"crossref","unstructured":"Song, T., Mac\u00edas-Ramos, L. F., Pan, L., & P\u00e9rez-Jim\u00e9nez, M. J. (2014). Time-free solution to SAT problem using P systems with active membranes. Theor. Comput. Sci., 529, 61\u201368. 10.1016\/j.tcs.2013.11.014. http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0304397513008451.","DOI":"10.1016\/j.tcs.2013.11.014"},{"issue":"3","key":"40_CR19","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/s41965-019-00017-y","volume":"1","author":"Petr Sos\u00edk","year":"2019","unstructured":"Sos\u00edk, P. (2019). P systems attacking hard problems beyond np: a survey. J. Membr. Comput.,. https:\/\/doi.org\/10.1007\/s41965-019-00017-y.","journal-title":"Journal of Membrane Computing"},{"key":"40_CR20","doi-asserted-by":"publisher","unstructured":"Yao, A.C.C. (1979) Some Complexity Questions Related to Distributive Computing(Preliminary Report). In: Proceedings of the Eleventh Annual ACM Symposium on Theory of Computing, STOC \u201979, pp. 209\u2013213. ACM, New York, NY, USA. https:\/\/doi.org\/10.1145\/800135.804414.","DOI":"10.1145\/800135.804414"},{"key":"40_CR21","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-1-4471-0313-4_21","volume-title":"Unconventional Models of Computation, UMC\u20192K","author":"Claudio Zandron","year":"2001","unstructured":"Zandron, C., Ferretti, C., & Mauri, G. (2001) Solving NP-Complete Problems Using P Systems with Active Membranes. In: I.\u00a0Antoniou, C.S. Calude, M.J. Dinneen (eds.) Proceedings of the Second International Conference on Unconventional Models of Computation, (UMC\u20192K), pp. 289\u2013301. Springer London, London. https:\/\/doi.org\/10.1007\/978-1-4471-0313-4_21."}],"container-title":["Journal of Membrane Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s41965-020-00040-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s41965-020-00040-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s41965-020-00040-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,1]],"date-time":"2023-10-01T12:50:00Z","timestamp":1696164600000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s41965-020-00040-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5,25]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,6]]}},"alternative-id":["40"],"URL":"https:\/\/doi.org\/10.1007\/s41965-020-00040-4","relation":{},"ISSN":["2523-8906","2523-8914"],"issn-type":[{"value":"2523-8906","type":"print"},{"value":"2523-8914","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,5,25]]},"assertion":[{"value":"8 September 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 April 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 May 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"The authors declare that they have no conflicts of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflicts of interest"}}]}}