AAAI 2025 paper

Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs

6citations

6

Citations

#382

in AAAI 2025

of 3028 papers

3

Authors

1

Data Points

Authors

Yunuo Cen Zhiwei Zhang Xuanyao Fong

Citation History

Jan 27, 2026

6