Accelerating numerical simulation of continuous-time Boolean satisfiability solver using discrete gradient (Q2045943)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Accelerating numerical simulation of continuous-time Boolean satisfiability solver using discrete gradient |
scientific article |
Statements
Accelerating numerical simulation of continuous-time Boolean satisfiability solver using discrete gradient (English)
0 references
16 August 2021
0 references
Boolean satisfiability problem
0 references
continuous-time SAT solver
0 references
discrete gradient
0 references
adaptive step size
0 references
0 references
0 references
0 references
0 references
0 references
