Evaluating the SAT problem on P systems for different high-performance architectures | Publicación