@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00141197, book = {全国大会講演論文集}, issue = {「情報爆発」時代に向けた新IT基盤技術}, month = {Mar}, pages = {245--246}, publisher = {情報処理学会}, title = {ZDDを用いた立体ペントミノパズルの解の列挙}, volume = {第72回}, year = {2010} }