QMaxSAT: A Partial Max-SAT Solver. - Miyuki Koshimura; Tong Zhang 013; Hiroshi Fujita 002; Ryuzo Hasegawa (J. Satisf. Boolean Model. Comput., 2012)