@techreport{weko_79292_1,
   author	 = "藤井,宏憲 and 藤本,典幸",
   title	 = "SATアルゴリズムにおけるBCP処理のGPUを用いた並列化",
   year 	 = "2011",
   institution	 = "大阪府立大学大学院理学系研究科, 大阪府立大学大学院理学系研究科",
   number	 = "27",
   month	 = "nov"
}