@techreport{weko_24150_1,
   author	 = "日野,健介 and 岡野,宏哉 and 岩間,一雄",
   title	 = "ランダムベンチマーク例題による論理最適化システムの評価",
   year 	 = "1995",
   institution	 = "九州大学工学部, 九州大学工学部, 九州大学工学部",
   number	 = "6(1994-ARC-110)",
   month	 = "jan"
}