Time-free solution to SAT problem by P systems with active membranes and standard cell division rules

Bosheng Song, Tao Song, Linqiang Pan. Time-free solution to SAT problem by P systems with active membranes and standard cell division rules. Natural Computing, 14(4):673-681, 2015. [doi]

Abstract

Abstract is missing.