torchmSAT：一个 GPU 加速的最大可满足性问题的近似算法

BriefGPT - AI 论文速递 · 2024-02-06T00:00:00Z

该论文提出了一种将离散结构与组合优化算法集成的机器学习方法，通过设计新颖的神经网络结构和利用GPU进行计算加速，成功解决了最大满足性问题。实验证明该方法在挑战性问题上优于现有求解器，并且与另一种求解器在解决成本方面相当，无需训练或使用底层SAT求解器。这为基于神经网络GPU加速的新一代求解器铺平了道路。