Apr, 2023

基于 GNN 的 SAT 求解中的变量依赖问题解决

TL;DRAsymSAT 是一种基于 GNN 的架构,能够扩展 GNN-based 方法的解题能力,改善 SAT 问题求解的性能,并通过使用生成的相关预测来维护变量之间的依赖关系。