著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
戸田 貴久 and 斎藤 寿樹 and 岩下 洋哲 and 川原 純 and 湊 真一,ZDDと列挙問題―最新の技法とプログラミングツール,コンピュータ ソフトウェア,0289-6540,日本ソフトウェア科学会,2017,34,3,3_97-3_120,https://cir.nii.ac.jp/crid/1390001204737083904,https://doi.org/10.11309/jssst.34.3_97