论文标题
搜索具有SAT求解器多种折叠方式的盒子的开发项目
Search for developments of a box having multiple ways of folding by SAT solver
论文作者
论文摘要
如果可以通过折叠形成多支着多子球的单位正方形的边缘来制作盒子，则称为开发。众所周知，有一些发展可以多种方式折叠成盒子（或盒子）。在这项工作中，我们通过使用SAT求解器进行了计算机搜索以寻找此类发展。结果，我们发现了成千上万的此类发展，包括面积52的多米诺，可以以五种不同的方式折叠成$ 1 \ times 2 \ times 2 \ times 8 $的盒子。
A polyomino is called a development if it can make a box by folding edges of unit squares forming the polyomino. It is known that there are developments that can fold into a box (or boxes) in multiple ways. In this work, we conducted a computer search for finding such developments by using a SAT solver. As a result, we found thousands of such developments including a polyomino of area 52 that can fold into a box of size $1 \times 2 \times 8$ in five different ways.
