no code implementations • 29 Aug 2023 • Yunuo Cen, Zhiwei Zhang, Xuanyao Fong
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).