{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:21:39Z","timestamp":1759638099438},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642367502"},{"type":"electronic","value":"9783642367519"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36751-9_14","type":"book-chapter","created":{"date-parts":[[2013,2,21]],"date-time":"2013-02-21T01:55:13Z","timestamp":1361411713000},"page":"195-207","source":"Crossref","is-referenced-by-count":10,"title":["A New Approach for Solving SAT by P Systems with Active Membranes"],"prefix":"10.1007","author":[{"given":"Zsolt","family":"Gazdag","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G\u00e1bor","family":"Kolonits","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"14_CR1","first-page":"149","volume":"18","author":"A. Alhazov","year":"2010","unstructured":"Alhazov, A.: Minimal parallelism and number of membrane polarizations. The Computer Science Journal of Moldova\u00a018(2), 149\u2013170 (2010)","journal-title":"The Computer Science Journal of Moldova"},{"issue":"2-3","key":"14_CR2","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/s00236-004-0153-z","volume":"41","author":"A. Alhazov","year":"2004","unstructured":"Alhazov, A., Pan, L., Paun, G.: Trading polarizations for labels in P systems with active membranes. Acta Inf.\u00a041(2-3), 111\u2013144 (2004)","journal-title":"Acta Inf."},{"issue":"1","key":"14_CR3","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.tcs.2007.03.044","volume":"378","author":"G. Ciobanu","year":"2007","unstructured":"Ciobanu, G., Pan, L., Paun, G., P\u00e9rez-Jim\u00e9nez, M.J.: P systems with minimal parallelism. Theor. Comput. Sci.\u00a0378(1), 117\u2013130 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-540-73554-0_8","volume-title":"Unconventional Computation","author":"R. Freund","year":"2007","unstructured":"Freund, R., P\u0103un, G., P\u00e9rez-Jim\u00e9nez, M.J.: Polarizationless P Systems with Active Membranes Working in the Minimally Parallel Mode. In: Akl, S.G., Calude, C.S., Dinneen, M.J., Rozenberg, G., Wareham, H.T. (eds.) UC 2007. LNCS, vol.\u00a04618, pp. 62\u201376. Springer, Heidelberg (2007)"},{"key":"14_CR5","series-title":"LNCS","first-page":"195","volume-title":"CMC 2012","author":"Z. Gazdag","year":"2013","unstructured":"Gazdag, Z., Kolonits, G.: A New Approach for Solving SAT by P Systems with Active Membranes. In: Csuhaj-Varj\u00fa, E., Gheorghe, M., Rozenberg, G., Salomaa, A., Vaszil, G. (eds.) CMC 2012. LNCS, vol.\u00a07762, pp. 195\u2013207. Springer, Heidelberg (2013)"},{"key":"14_CR6","unstructured":"Kusper, G.: Solving and Simplifying the Propositional Satisfiability Problem by Sub-Model Propagation. Ph.D. thesis, RISC, Johannes Kepler University, Linz, Austria (2005)"},{"issue":"2","key":"14_CR7","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s00236-006-0018-8","volume":"43","author":"L. Pan","year":"2006","unstructured":"Pan, L., Alhazov, A.: Solving HPP and SAT by P Systems with Active Membranes and Separation Rules. Acta Inf.\u00a043(2), 131\u2013145 (2006)","journal-title":"Acta Inf."},{"issue":"1","key":"14_CR8","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"G. Paun","year":"2000","unstructured":"Paun, G.: Computing with membranes. J. Comput. Syst. Sci.\u00a061(1), 108\u2013143 (2000)","journal-title":"J. Comput. Syst. Sci."},{"issue":"1","key":"14_CR9","first-page":"75","volume":"6","author":"G. Paun","year":"2001","unstructured":"Paun, G.: P Systems with Active Membranes: Attacking NP-Complete Problems. Journal of Automata, Languages and Combinatorics\u00a06(1), 75\u201390 (2001)","journal-title":"Journal of Automata, Languages and Combinatorics"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Paun, G.: Introduction to membrane computing. In: Applications of Membrane Computing, pp. 1\u201342 (2006)","DOI":"10.1007\/3-540-29937-8_1"},{"key":"14_CR11","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.: The Oxford Handbook of Membrane Computing. Oxford University Press, Inc., New York (2010), \n                    \n                      http:\/\/portal.acm.org\/citation.cfm?id=1738939"},{"issue":"3","key":"14_CR12","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1023\/A:1025449224520","volume":"2","author":"M.J. P\u00e9rez-Jim\u00e9nez","year":"2003","unstructured":"P\u00e9rez-Jim\u00e9nez, M.J., Jim\u00e9nez, \u00c1.R., Sancho-Caparrini, F.: Complexity classes in models of cellular computing with membranes. Natural Computing\u00a02(3), 265\u2013285 (2003)","journal-title":"Natural Computing"}],"container-title":["Lecture Notes in Computer Science","Membrane Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36751-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T05:57:28Z","timestamp":1557554248000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36751-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642367502","9783642367519"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36751-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}