本文探讨了图神经网络在布尔可满足性问题中的应用，提出了一种新颖的最近赋值监督方法，显著提高了模型的泛化能力和SAT赋值预测的准确性，验证了其在更广泛应用中的有效性。

神经方法解决布尔可满足性问题：设计选择与可解释性
BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 ·
👤 个人中心
在公众号发送验证码完成验证