%0 Generic %D 2007 %T Uniform Solution of QSAT using polarizationless active membranes %A Artiom Alhazov %A Mario J. Pérez-Jiménez %C Amsterdam, The Netherlands %I Springer %P 122-133 %R 10.1007/978-3-540-74593-8 %U http://www.springerlink.com/index/567256806100784t.pdf %V 4664 %X It is known that the satisfiability problem (SAT) can be solved with a semi-uniform family of deterministic polarizationless P systems with active membranes with non–elementary membrane division. We present a double improvement of this result by showing that the satisfiability of a quantified Boolean formula (QSAT) can be solved by a uniform family of P systems of the same kind. The first author gratefully acknowledges the support by Academy of Finland, project 203667, and by the Supreme Council for Science and Technological Development of the Academy of Sciences of Moldova, project 06.411.03.04P. The second author wishes to acknowledge the support of the project TIN2005-09345-C04-01 of the Ministerio de Educación y Ciencia of Spain, cofinanced by FEDER funds.