TY  - RPRT
TI  - Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs
AU  - Yunuo Cen
AU  - Zhiwei Zhang
AU  - Xuanyao Fong
PY  - 2023
UR  - https://arxiv.org/abs/2308.15020
ID  - 2308.15020
ER  -