@techreport{weko_102034_1,
   author	 = "Masahiko,Sakai and Hidetomo,Nabeshima",
   title	 = "Improving efficiency of pseudo-Boolean solver that uses SAT solver and BDD",
   year 	 = "2014",
   institution	 = "Graduate School of Information Science, Nagoya University, Interdisciplinary Graduate School of Medicine and Engineering, University of Yamanashi",
   number	 = "15",
   month	 = "jul"
}