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

DOI10.1016/J.JLAP.2010.03.008MaRDI QIDQ987962zbMATH OpenOpenAlexFDO

Authors 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

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

membrane computingP systemsSATGPUs

Mathematics Subject Classification ID

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

Recommendations

• Accelerating a continuous-time analog SAT solver using GPUs
• Simulating P systems on GPU devices: a survey
• Leveraging GPUs for effective clause sharing in parallel SAT solving
• Design of specific P systems simulators on GPUs
• Reproducible efficient parallel SAT solving
• Efficient GPU-based implementations of simplex type algorithms

Cites work

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

Cited in

(11)

• Alternative space definitions for P systems with active membranes
• Simulation challenges in membrane computing
• On the efficiency of synchronized P systems
• Accelerating a continuous-time analog SAT solver using GPUs
• Solving the N-queens problem using dP systems with active membranes
• Solving SAT with P systems with anti-membranes
• Evaluating space measures in P systems
• Design of specific P systems simulators on GPUs
• Simulating P systems on GPU devices: a survey
• GPU based virtual machine for Sleptsov net computing
• The power of synchronizing rules in membrane computing

Describes a project that uses

Uses Software

• P-Lingua
• CUDA

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q987962)