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

05/06/2020
by   Riona Tadaki, et al.
0

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.

READ FULL TEXT
research
02/18/2014

Symbiosis of Search and Heuristics for Random 3-SAT

When combined properly, search techniques can reveal the full potential ...
research
08/23/2023

Recent Developments in Pandora's Box Problem: Variants and Applications

In 1979, Weitzman introduced Pandora's box problem as a framework for se...
research
11/11/2021

DPLL(MAPF): an Integration of Multi-Agent Path Finding and SAT Solving Technologies

In multi-agent path finding (MAPF), the task is to find non-conflicting ...
research
04/30/2018

Benchmarking the Capabilities and Limitations of SAT Solvers in Defeating Obfuscation Schemes

In this paper, we investigate the strength of six different SAT solvers ...
research
12/15/2017

Solving satisfiability using inclusion-exclusion

Using Maple, we implement a SAT solver based on the principle of inclusi...
research
07/02/2019

Core First Unit Propagation

Unit propagation (which is called also Boolean Constraint Propagation) h...
research
03/20/2023

Nanomodular Electronics

It may be possible to reinvent how microelectronics are made using a two...

Please sign up or login with your details

Forgot password? Click here to reset