@techreport{weko_202885_1,
   author	 = "只木,莉緒奈 and 天野,一幸",
   title	 = "SATソルバーによる複数の折り方を持つ箱の展開図の探索",
   year 	 = "2020",
   institution	 = "群馬大学, 群馬大学",
   number	 = "4",
   month	 = "jan"
}