An efficient time-free solution to SAT problem by P systems with proteins on membranes | Publicación