ML Anthology

Fong, Xuanyao

1 publications

AAAI 2025 Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs Yunuo Cen, Zhiwei Zhang, Xuanyao Fong