Efficient Solutions to All-SAT by P Systems with Active Membranes Luo, Yueguo ; Xiong, Zhongyang ; Chen, Yegang ; Tan, Haijun Abstract Publication: Journal of Computational and Theoretical Nanoscience Pub Date: June 2016 DOI: 10.1166/jctn.2016.5223 Bibcode: 2016JCTN...13.3887L