REVIEW 1 cited by
Search for developments of a box having multiple ways of folding by SAT solver
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
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.
Forward citations
Cited by 1 Pith paper
-
Unfolding Boxes with Local Constraints
A new local-constraint SAT encoding shows that no three non-isomorphic boxes of surface area 58 or less share a common unfolding, refuting Xu et al.'s conjecture that 46 works.
Discussion (0). Continue with ORCID to comment.