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