@techreport{weko_102915_1,
   author	 = "脊戸和寿 and 照山順一 and 長尾篤樹",
   title	 = "<i>k</i>-IBDD充足可能性問題に対する厳密アルゴリズム",
   year 	 = "2014",
   institution	 = "成蹊大学, 国立情報学研究所／JST, ERATO, 河原林巨大グラフプロジェクト, 京都大学／日本学術振興会特別研究員DC",
   number	 = "9",
   month	 = "sep"
}