@techreport{weko_29844_1,
   author	 = "丹羽,純平 and 今井,浩",
   title	 = "閾値関数のBDDの並列実装",
   year 	 = "1995",
   institution	 = "東京大学大学院理学系研究科情報科学専攻, 東京大学大学院理学系研究科情報科学専攻",
   number	 = "81(1995-HPC-057)",
   month	 = "aug"
}