BriefGPT.xyz
Ask
alpha
关键词
sls solvers
搜索结果 - 1
利用深度学习构建带性能界限的随机局部搜索 SAT 求解器
利用图神经网络训练适用于布尔可满足性问题的 SLS 求解器,可显著提高性能,平均解决比例更高、步骤更少,具有性能保证。
PDF
10 months ago
Prev
Next