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