Orellana Martín, DavidValencia Cabrera, LuisPérez Jiménez, Mario de Jesús2022-06-302022-06-302022Orellana Martín, D., Valencia Cabrera, L. y Pérez Jiménez, M.d.J. (2022). P systems with evolutional symport and membrane creation rules solving QSAT. Theoretical Computer Science, 908 (March 2022), 56-63.0304-3975https://hdl.handle.net/11441/134814P systems are computing devices based on sets of rules that dictate how they work. While some of these rules can change the objects within the system, other rules can even change the own structure, like creation rules. They have been used in cell-like membrane systems with active membranes to efficiently solve NP-complete problems. In this work, we improve a previous result where a uniform family of P systems with evolutional communication rules whose left-hand side (respectively, right-hand side) have most 2 objects (resp., 2 objects) and membrane creation solved SAT efficiently, and we obtain an efficient solution to solve QBF-SAT or QSAT (a PSPACE-complete problem) having at most 1 object (respectively, 1 object) in their left-hand side (resp., right-hand side) and not making use of the environmentapplication/pdf8engAttribution-NonCommercial-NoDerivatives 4.0 Internacionalhttp://creativecommons.org/licenses/by-nc-nd/4.0/Membrane computingMembrane creationQBF-SATComputational complexity theoryinfo:eu-repo/semantics/articleinfo:eu-repo/semantics/openAccesshttps://doi.org/10.1016/j.tcs.2021.11.012