ESA_2018_Based_SAT实例与树分解基准测试数据集
收藏海数据2026-06-25 收录
官方服务：
资源简介：
本数据集是ESA'2018会议论文《Weighted Model Counting on the GPU by Exploiting Small Treewidth》所用的基准集合，包含#SAT实例和树分解数据。数据来源于ApproxMC、C2D、Cachet等公开基准源，总计3个压缩文件，无目录结构，未划分训练/测试或数据/标签集。 论文“Weighted Model Counting on the GPU by Exploiting Small Treewidth”（ESA'2018）及公开基准源（ApproxMC、C2D、Cachet等）
提供机构：
公开数据创建时间：
2026-01-28
