Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs.

Yunuo Cen, Zhiwei Zhang, Xuanyao Fong

Browse the full AAAI paper archive.