2025
Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs
AAAI 2025technical
Although state-of-the-art (SOTA) SAT solvers based on conflict-driven clause learning (CDCL) have achieved remarkable engineering success, their sequential nature limits the parallelism that may be extracted for acceleration on platforms such as the graphics processing unit (GPU). In this work, we p…