@techreport{weko_210982_1,
   author	 = "秦,同 and 渡辺,治",
   title	 = "3SAT 問題に対するBiased-PPSZ アルゴリズムの改良",
   year 	 = "2021",
   institution	 = "株式会社牧野フライス製作所SIT本部, 東京工業大学情報理工学院",
   number	 = "6",
   month	 = "apr"
}