@techreport{weko_28011_1,
   author	 = "日野,健介 and 岩間,一雄",
   title	 = "論理最適化アルゴリズム評価のためのテスト例題のランダム生成",
   year 	 = "1993",
   institution	 = "九州大学工学部, 九州大学工学部",
   number	 = "111(1993-SLDM-069)",
   month	 = "dec"
}