BriefGPT.xyz
Ask
alpha
关键词
dependent variable prediction
搜索结果 - 1
基于 GNN 的 SAT 求解中的变量依赖问题解决
AsymSAT 是一种基于 GNN 的架构,能够扩展 GNN-based 方法的解题能力,改善 SAT 问题求解的性能,并通过使用生成的相关预测来维护变量之间的依赖关系。
PDF
a year ago
Prev
Next