José M. Cecilia, José M. García, Ginés D. Guerrero, Miguel A. Martínez-del-Amor, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez. Simulating a P system based efficient solution to SAT by using GPUs. Journal of Logic and Algebraic Programming, 79(6):317-325, 2010. [doi]
Abstract is missing.