Aug, 2023

基于 GPU 的混合 SAT 求解的大规模并行连续局部搜索

TL;DR提出了基于梯度驱动连续局部搜索(CLS)的高度并行混合 SAT 求解器 FastFourierSAT,该算法利用图形处理单元(GPU)的并行性能加速计算,可以比之前的方法快 100 + 倍,并在更大规模的案例上表现出良好的性能。