T. Hirata

T. Asano, T. Ono, and T. Hirata. Approximation Algorithms for the Maximum Satisfiability Problem. Nordic Journal of Computing, 3(4):388-404, Winter 1996. Abstract, References, etc.