@techreport{weko_29068_1,
   author	 = "大橋,智昭 and 稲垣,良一 and 上田,和紀",
   title	 = "SATソルバzchaffのMPIによる並列化",
   year 	 = "2004",
   institution	 = "早稲田大学大学院理工学研究科情報・ネットワーク専攻, 早稲田大学大学院理工学研究科情報・ネットワーク専攻, 早稲田大学大学院理工学研究科情報・ネットワーク専攻",
   number	 = "81(2004-HPC-099)",
   month	 = "jul"
}