BriefGPT.xyz
Ask
alpha
关键词
neuro-symbolic proof-based sat solver
搜索结果 - 1
NeuRes: 学习命题可满足性的证明
我们介绍了一种神经符号证明型 SAT 求解器 NeuRes。与其他神经 SAT 求解方法不同,NeuRes 能够证明不可满足性而不仅仅是预测。通过使用命题证明来证明不可满足以及在不可满足和可满足公式的情况下加速找到满足真值分配的过程,Neu
→
PDF
5 months ago
Prev
Next