@techreport{oai:ipsj.ixsq.nii.ac.jp:00186564,
 author = {森住, 大樹},
 issue = {8},
 month = {Mar},
 note = {ゼロサプレス型二分決定グラフ （ZDD : Zero-suppressed binary decision diagram） は，二分決定グラフ （BDD : Binary decision diagram） の派生形の中で最も成功しているものの一つである．本発表では，ZDD の BDD との違いを，論理式に適用する試みについて述べる．また，論理式に限らず，決定木，分岐プログラム，計算モデルとしての論理式などに，同様の試みを行う研究を現在進めており，それらについて幅広く触れる．（ショートトーク）},
 title = {ZDDと論理式に関する一考察},
 year = {2018}
}