@techreport{weko_164038_1,
   author	 = "月本,洋",
   title	 = "3SATの一アルゴリズム",
   year 	 = "2016",
   institution	 = "東京電機大学工学部",
   number	 = "13",
   month	 = "jun"
}