A Uniform Algorithm of Solving All-SAT Using Membrane Systems Luo, Yueguo ; Xiong, Zhongyang ; Tan, Haijun ; Xia, Shuyin Abstract Publication: Journal of Computational and Theoretical Nanoscience Pub Date: December 2015 DOI: 10.1166/jctn.2015.4723 Bibcode: 2015JCTN...12.5825L