Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs (Q6449008)
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: Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs |
preprint article from arXiv
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs |
preprint article from arXiv |
Statements
29 August 2023
0 references
cs.AI
0 references
cs.DC
0 references
cs.IT
0 references
cs.LG
0 references
cs.LO
0 references
math.IT
0 references
Yunuo Cen
0 references
Zhiwei Zhang
0 references
Xuanyao Fong
0 references
