Accelerating numerical simulation of continuous-time Boolean satisfiability solver using discrete gradient (Q2045943)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Accelerating numerical simulation of continuous-time Boolean satisfiability solver using discrete gradient |
scientific article; zbMATH DE number 7382106
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Accelerating numerical simulation of continuous-time Boolean satisfiability solver using discrete gradient |
scientific article; zbMATH DE number 7382106 |
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
0.8756586
0 references
0 references
0.8381654
0 references
0.8365589
0 references
0.8354768
0 references
