Search for developments of a box having multiple ways of folding by SAT solver
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2020
- DOI:
- 10.48550/arXiv.2005.02645
- arXiv:
- arXiv:2005.02645
- Bibcode:
- 2020arXiv200502645T
- Keywords:
-
- Computer Science - Discrete Mathematics;
- Computer Science - Artificial Intelligence;
- Computer Science - Computational Geometry
- E-Print:
- 12 pages