Time-free solution to SAT problem using P systems with active membranes | Publicación