Showing 1–1 of 1 results for author: Tadaki, R

Search for developments of a box having multiple ways of folding by SAT solver

Authors: Riona Tadaki, Kazuyuki Amano

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… ▽ More 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. △ Less

Submitted 6 May, 2020; originally announced May 2020.

Comments: 12 pages