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

Riona Tadaki, Kazuyuki Amano

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 (o…