@techreport{weko_32352_1,
   author	 = "小野,孝男 and 平田,富夫 and 浅野,孝夫",
   title	 = "MAX 3 - SATに対する高性能近似アルゴリズム",
   year 	 = "1995",
   institution	 = "名古屋大学工学部, 名古屋大学工学部, 中央大学理工学部",
   number	 = "39(1995-AL-045)",
   month	 = "may"
}