Simulating a P system based efficient solution to SAT by using GPUs

DOI10.1016/J.JLAP.2010.03.008zbMath1208.68124OpenAlexW2076482674MaRDI QIDQ987962

José M. Cecilia, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez, José M. García, Ginés D. Guerrero, Miguel A. Martínez-del-Amor

Publication date: 24 August 2010

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2010.03.008

zbMATH Keywords

P systemsmembrane computingSATGPUs

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (7)

Solving the N-queens problem using dP systems with active membranes ⋮ Solving SAT with P systems with anti-membranes ⋮ The power of synchronizing rules in membrane computing ⋮ On the efficiency of synchronized P systems ⋮ Evaluating space measures in P systems ⋮ Simulation challenges in membrane computing ⋮ Alternative space definitions for P systems with active membranes

Uses Software

• CUDA
• P-Lingua

Cites Work

• Complexity classes in models of cellular computing with membranes
• Computing with membranes
• Membrane computing. An introduction.
• An Overview of P-Lingua 2.0

This page was built for publication: Simulating a P system based efficient solution to SAT by using GPUs