@misc{indiciae4b8c05bbb547,
  title = {Search for developments of a box having multiple ways of folding by SAT solver},
  author = {Riona Tadaki and Kazuyuki Amano},
  year = {2020},
  url = {https://arxiv.org/abs/2005.02645},
  note = {Source identifier: 2005.02645}
}