Simulating a P system based efficient solution to SAT by using GPUs | Publicación