@techreport{weko_32016_1,
   author	 = "Tomomi,Matsui and Shiro,Matuura",
   title	 = "0.935 - Approximation Randomized Algorithm for MAX 2SAT and Its Derandomization",
   year 	 = "2001",
   institution	 = "University of Tokyo, University of Tokyo",
   number	 = "115(2001-AL-081)",
   month	 = "nov"
}