新南威尔士大学 发布 StructureSAT 数据集, 应用在 算法性能评估、图神经网络 领域

新南威尔士大学 本次发布的数据集 StructureSAT, StructureSAT是一个大规模的饱和问题（SAT）数据集，由新南威尔士大学计算机科学与工程学院创建。该数据集包含来自不同问题领域的多样化SAT问题，旨在研究图神经网络（GNN）在SAT问题上的泛化能力。数据集涵盖了随机、设计、伪工业和工业等11个SAT领域，并研究了9种对传统SAT求解器有影响的图形结构属性。数据集通过结构属性对问题领域进行细分，以研究不同结构属性对GNN求解器泛化能力的影响。

查看StructureSAT

关于 新南威尔士大学 , 新南威尔士大学是一所在澳大利亚具有高声誉的综合性大学，以其在科学、技术和工程学科方面的研究成果而闻名。

关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库，涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。