Accelerating a continuous-time analog SAT solver using GPUs (Q6040130)
From MaRDI portal
scientific article; zbMATH DE number 7688526
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Accelerating a continuous-time analog SAT solver using GPUs |
scientific article; zbMATH DE number 7688526 |
Statements
Accelerating a continuous-time analog SAT solver using GPUs (English)
0 references
24 May 2023
0 references
GPU acceleration
0 references
Boolean satisfiability
0 references
NP-completeness
0 references
continuous-time algorithm
0 references
Ramsey number problem
0 references
