Cecilia, J. M., Guerrero G. D., García J. M., Martínez-del-Amor M. A., Pérez-Jiménez M. J., & Ujaldón M.  (2010).??Enhancing the Simulation of P Systems for the SAT Problem on GPUs.   Symposium on Application Accelerators in High Performance Computing.