@techreport{weko_82836_1,
   author	 = "Hironori,Fujii and Noriyuki,Fujimoto",
   title	 = "GPU Acceleration of BCP Procedure for SAT Algorithms",
   year 	 = "2012",
   institution	 = "Osaka Prefecture University, Osaka Prefecture University",
   number	 = "8",
   month	 = "jul"
}