Solving SAT with membrane creation - Miguel A. Gutiérrez-Naranjo; Mario J. Pérez-Jiménez; Francisco J. Romero-Campero (2005)