Simulating a P system based efficient solution to SAT by using GPUs (Q987962)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Simulating a P system based efficient solution to SAT by using GPUs |
scientific article |
Statements
Simulating a P system based efficient solution to SAT by using GPUs (English)
0 references
24 August 2010
0 references
SAT
0 references
P systems
0 references
membrane computing
0 references
GPUs
0 references
