Common Box Unfoldings
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/jreeves3/allsat-cadical
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含了所有具有相等面积直至86的盒子对之间的计算展开，这其中包括了之前未知的高面积展开。这些计算是通过本地机器和一台超级计算机并行运行多个SAT求解器来完成的。该数据集的规模达到了86的面积，其任务是枚举盒子的展开方式。
This dataset contains all computed nets between pairs of boxes with equal areas up to 86, including previously unknown high-area nets. These calculations were completed by running multiple SAT solvers in parallel across local machines and a supercomputer. The dataset covers areas up to 86, with its core task being the enumeration of box nets.
提供机构：
Authors of the paper
