{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,17]],"date-time":"2026-05-17T06:16:54Z","timestamp":1778998614647,"version":"3.51.4"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2024,5,23]],"date-time":"2024-05-23T00:00:00Z","timestamp":1716422400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,5,23]],"date-time":"2024-05-23T00:00:00Z","timestamp":1716422400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001823","name":"Czech Ministry Of Education, Youth And Sports","doi-asserted-by":"crossref","award":["CZ.02.2.69\/0.0\/0.0\/18_053\/0017871"],"award-info":[{"award-number":["CZ.02.2.69\/0.0\/0.0\/18_053\/0017871"]}],"id":[{"id":"10.13039\/501100001823","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Silesian University in Opava, Czech Republic","award":["SGS\/11\/2023"],"award-info":[{"award-number":["SGS\/11\/2023"]}]},{"DOI":"10.13039\/501100010629","name":"Silesian University in Opava","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100010629","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Membr Comput"],"published-print":{"date-parts":[[2024,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Spiking neural P systems (SNPS) are variants of the third-generation neural networks. In the last few decades, different variants of SNPS models have been introduced. In most of the SNPS models, spikes are represented using an alphabet with just one letter. In this paper, we use a deterministic SNPS model with coloured spikes (i.e. the alphabet representing spikes contains multiple letters), together with neuron division rules to demonstrate an efficient solution to the SAT problem. As a result, we provide a simpler construction with significantly less class resources to solve the SAT problem in comparison to previously reported results using SNPSs.<\/jats:p>","DOI":"10.1007\/s41965-024-00153-0","type":"journal-article","created":{"date-parts":[[2024,5,23]],"date-time":"2024-05-23T12:01:41Z","timestamp":1716465701000},"page":"222-233","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Solving the SAT problem using spiking neural P systems with coloured spikes and division rules"],"prefix":"10.1007","volume":"6","author":[{"given":"Prithwineel","family":"Paul","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petr","family":"Sos\u00edk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,5,23]]},"reference":[{"key":"153_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11467-0","volume-title":"The Oxford handbook of membrane computing","author":"G Paun","year":"2010","unstructured":"Paun, G., Rozenberg, G., & Salomaa, A. (2010). The Oxford handbook of membrane computing. Oxford University Press Inc."},{"issue":"2\u20133","key":"153_CR2","first-page":"279","volume":"71","author":"M. Ionescu","year":"2006","unstructured":"Ionescu, M. ., P\u0103un, G. ., & Yokomori, T. . (2006). Spiking neural P systems. Fundamenta Informaticae, 71(2\u20133), 279\u2013308.","journal-title":"Fundamenta Informaticae"},{"issue":"4","key":"153_CR3","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1007\/s11047-022-09917-y","volume":"21","author":"A Leporati","year":"2022","unstructured":"Leporati, A., Mauri, G., & Zandron, C. (2022). Spiking neural P systems: Main ideas and results. Natural Computing, 21(4), 629\u2013649.","journal-title":"Natural Computing"},{"issue":"04","key":"153_CR4","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1142\/S0129065709002002","volume":"19","author":"S Ghosh-Dastidar","year":"2009","unstructured":"Ghosh-Dastidar, S., & Adeli, H. (2009). Spiking neural networks. International Journal of Neural Systems, 19(04), 295\u2013308.","journal-title":"International Journal of Neural Systems"},{"issue":"1","key":"153_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3431234","volume":"54","author":"B Song","year":"2021","unstructured":"Song, B., Li, K., Orellana-Mart\u00edn, D., P\u00e9rez-Jim\u00e9nez, M. J., & P\u00e9rez-Hurtado, I. (2021). A survey of nature-inspired computing: Membrane computing. ACM Computing Surveys (CSUR), 54(1), 1\u201331.","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"153_CR6","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/s41965-019-00017-y","volume":"1","author":"P Sos\u00edk","year":"2019","unstructured":"Sos\u00edk, P. (2019). P systems attacking hard problems beyond NP: A survey. Journal of Membrane Computing, 1, 198\u2013208.","journal-title":"Journal of Membrane Computing"},{"issue":"25","key":"153_CR7","doi-asserted-by":"publisher","first-page":"2345","DOI":"10.1016\/j.tcs.2010.01.019","volume":"411","author":"T-O Ishdorj","year":"2010","unstructured":"Ishdorj, T.-O., Leporati, A., Pan, L., Zeng, X., & Zhang, X. (2010). Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with pre-computed resources. Theoretical Computer Science, 411(25), 2345\u20132358.","journal-title":"Theoretical Computer Science"},{"key":"153_CR8","unstructured":"Guti\u00e9rrez\u00a0Naranjo, M. \u00c1., & Leporati, A. (2008). Solving numerical NP-complete problems by spiking neural P systems with pre-computed resources. In Proceedings of the Sixth Brainstorming Week on Membrane Computing (pp. 193\u2013210). Sevilla, ETS de Ingenier\u00eda Inform\u00e1tica, 4-8 de Febrero, 2008"},{"issue":"1","key":"153_CR9","first-page":"61","volume":"87","author":"A Leporati","year":"2008","unstructured":"Leporati, A., & Guti\u00e9rrez-Naranjo, M. A. (2008). Solving Subset Sum by spiking neural P systems with pre-computed resources. Fundamenta Informaticae, 87(1), 61\u201377.","journal-title":"Fundamenta Informaticae"},{"issue":"4","key":"153_CR10","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1007\/s11047-008-9091-y","volume":"8","author":"A Leporati","year":"2009","unstructured":"Leporati, A., Mauri, G., Zandron, C., P\u0103un, G., & P\u00e9rez-Jim\u00e9nez, M. J. (2009). Uniform solutions to SAT and Subset Sum by spiking neural P systems. Natural computing, 8(4), 681.","journal-title":"Natural computing"},{"key":"153_CR11","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/s11047-008-9081-0","volume":"7","author":"T-O Ishdorj","year":"2008","unstructured":"Ishdorj, T.-O., & Leporati, A. (2008). Uniform solutions to SAT and 3-SAT by spiking neural P systems with pre-computed resources. Natural Computing, 7, 519\u2013534.","journal-title":"Natural Computing"},{"key":"153_CR12","doi-asserted-by":"publisher","first-page":"1596","DOI":"10.1007\/s11432-011-4303-y","volume":"54","author":"L Pan","year":"2011","unstructured":"Pan, L., P\u0103un, G., & P\u00e9rez-Jim\u00e9nez, M. J. (2011). Spiking neural P systems with neuron division and budding. Science China Information Sciences, 54, 1596\u20131607.","journal-title":"Science China Information Sciences"},{"issue":"9","key":"153_CR13","doi-asserted-by":"publisher","first-page":"0162882","DOI":"10.1371\/journal.pone.0162882","volume":"11","author":"Y Zhao","year":"2016","unstructured":"Zhao, Y., Liu, X., & Wang, W. (2016). Spiking neural P systems with neuron division and dissolution. PLoS One, 11(9), 0162882.","journal-title":"PLoS One"},{"key":"153_CR14","doi-asserted-by":"crossref","unstructured":"Ishdorj, T.-O., Leporati, A., Pan, L., & Wang, J. (2010). Solving NP-complete problems by spiking neural P systems with budding rules. In Membrane Computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24\u201327, 2009. Revised Selected and Invited Papers 10 .(pp. 335\u2013353). Springer.","DOI":"10.1007\/978-3-642-11467-0_24"},{"key":"153_CR15","doi-asserted-by":"crossref","unstructured":"Wang, J., Hoogeboom, H. J., & Pan, L. (2011). Spiking neural P systems with neuron division. In Membrane Computing: 11th International Conference, CMC 2010, Jena, Germany, August 24\u201327, 2010. Revised Selected Papers 11 (pp. 361\u2013376). Springer.","DOI":"10.1007\/978-3-642-18123-8_28"},{"key":"153_CR16","doi-asserted-by":"crossref","unstructured":"Cabarle, F. G. C., Hernandez, N. H. S., & Mart\u00ednez-del-Amor, M. \u00c1. (2015). Spiking neural P systems with structural plasticity: Attacking the Subset Sum problem. In: Membrane Computing: 16th International Conference, CMC 2015, Valencia, Spain, August 17\u201321, 2015, Revised Selected Papers 16 (pp. 106\u2013116). Springer.","DOI":"10.1007\/978-3-319-28475-0_8"},{"issue":"1","key":"153_CR17","doi-asserted-by":"publisher","first-page":"327","DOI":"10.12785\/amis\/080140","volume":"8","author":"T Song","year":"2014","unstructured":"Song, T., Luo, L., He, J., Chen, Z., & Zhang, K. (2014). Solving Subset Sum problems by time-free spiking neural P systems. Applied Mathematics & Information Sciences, 8(1), 327.","journal-title":"Applied Mathematics & Information Sciences"},{"key":"153_CR18","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s11047-022-09900-7","volume":"22","author":"B Aman","year":"2023","unstructured":"Aman, B. (2023). Solving Subset Sum by spiking neural P systems with astrocytes producing calcium. Natural Computing, 22, 3\u201312.","journal-title":"Natural Computing"},{"key":"153_CR19","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1016\/j.ins.2021.12.107","volume":"589","author":"Y Zhao","year":"2022","unstructured":"Zhao, Y., Liu, Y., Liu, X., Sun, M., Qi, F., & Zheng, Y. (2022). Self-adapting spiking neural P systems with refractory period and propagation delay. Information Sciences, 589, 80\u201393.","journal-title":"Information Sciences"},{"issue":"6","key":"153_CR20","doi-asserted-by":"publisher","first-page":"1642","DOI":"10.1162\/NECO_a_00443","volume":"25","author":"L Xu","year":"2013","unstructured":"Xu, L., & Jeavons, P. (2013). Simple neural-like P systems for maximal independent set selection. Neural Computation, 25(6), 1642\u20131659.","journal-title":"Neural Computation"},{"issue":"4","key":"153_CR21","doi-asserted-by":"publisher","first-page":"1106","DOI":"10.1109\/TCDS.2017.2785332","volume":"10","author":"T Song","year":"2017","unstructured":"Song, T., Rodr\u00edguez-Pat\u00f3n, A., Zheng, P., & Zeng, X. (2017). Spiking neural P systems with colored spikes. IEEE Transactions on Cognitive and Developmental Systems, 10(4), 1106\u20131115.","journal-title":"IEEE Transactions on Cognitive and Developmental Systems"},{"key":"153_CR22","unstructured":"Pan, L., Paun, G., & P\u00e9rez\u00a0Jim\u00e9nez, M. J. (2009). Spiking neural P systems with neuron division and budding. In Proceedings of the Seventh Brainstorming Week on Membrane Computing (Vol. II, pp. 151\u2013167). Sevilla, ETS de Ingenier\u00eda Inform\u00e1tica, 2\u20136 de Febrero, 2009."},{"key":"153_CR23","first-page":"483","volume":"185","author":"J Rintanen","year":"2009","unstructured":"Rintanen, J. (2009). Planning and SAT. Handbook of Satisfiability, 185, 483\u2013504.","journal-title":"Handbook of Satisfiability"}],"container-title":["Journal of Membrane Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s41965-024-00153-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s41965-024-00153-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s41965-024-00153-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,15]],"date-time":"2024-10-15T15:15:07Z","timestamp":1729005307000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s41965-024-00153-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,23]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,9]]}},"alternative-id":["153"],"URL":"https:\/\/doi.org\/10.1007\/s41965-024-00153-0","relation":{},"ISSN":["2523-8906","2523-8914"],"issn-type":[{"value":"2523-8906","type":"print"},{"value":"2523-8914","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,5,23]]},"assertion":[{"value":"12 January 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 April 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 May 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declaration"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}