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

arXiv: https://arxiv.org/abs/2005.02645 · HTML: https://mlsanity.com/paper/2005.02645/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 6 May 2020.

## Built on by (most cited first, 1 of 1)

- [Unfolding Boxes with Local Constraints](https://mlsanity.com/paper/2506.01079/) (2025)

## Abstract (arXiv)

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 × 2 × 8 in five different ways.