通过SAT求解器搜索具有多种折叠方式的盒子的展开
Search for developments of a box having multiple ways of folding by SAT solver
摘要：
一个多角形被称为一个发展，如果它可以通过折叠形成多角形的单位正方形的边缘来制作一个盒子。众所周知，有些开发可以通过多种方式折叠到一个或多个盒子中。在这项工作中，我们进行了计算机搜索，通过使用SAT求解器找到这样的发展。结果，我们发现了数千个这样的发展，包括一个面积为52的polyomino，它可以用五种不同的方式折叠成一个$1 \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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
