Simulating a P system based efficient solution to SAT by using GPUs
From MaRDI portal
Publication:987962
DOI10.1016/J.JLAP.2010.03.008zbMATH Open1208.68124OpenAlexW2076482674MaRDI QIDQ987962FDOQ987962
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
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
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
Uses Software
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)
