@techreport{weko_191037_1,
   author	 = "高橋,翔哉 and 湊,真一 and 瀧川,一学",
   title	 = "SeqBDDを用いた集合分割の族の表現法と実験的評価",
   year 	 = "2018",
   institution	 = "北海道大学大学院情報科学研究科, 京都大学大学院情報学研究科, 北海道大学大学院情報科学研究科",
   number	 = "6",
   month	 = "aug"
}