%0 Generic
%D 2006
%T A linear time solution for QSAT with membrane creation
%A Miguel A. Gutiérrez-Naranjo
%A Mario J. Pérez-Jiménez
%A Francisco J. Romero-Campero
%C Amsterdam, The Netherlands
%I Springer
%P 241-252
%R 10.1007/11603047
%U http://www.springerlink.com/content/f581751081374261/?p=b39de80f23a244a2b3abbcfb36e1340a&pi=16
%V 3850
%X The usefulness of P systems with membrane creation for solving NP problems has been previously proved (see [2, 3]), but, up to now, it was an open problem whether such P systems were able to solve PSPACE-complete problems in polynomial time. In this paper we give an answer to this question by presenting a uniform family of P system with membrane creation which solves the QSAT-problem in linear time.
%@ 978-3-540-30948-2