Approximation Algorithms for the Maximum Satisfiability Problem

Takao Asano, Takao Ono, Tomio Hirata. Approximation Algorithms for the Maximum Satisfiability Problem. In Rolf G. Karlsson, Andrzej Lingas, editors, Algorithm Theory - SWAT 96, 5th Scandinavian Workshop on Algorithm Theory, Reykjavík, Iceland, July 3-5, 1996, Proceedings. Volume 1097 of Lecture Notes in Computer Science, pages 100-111, Springer, 1996.

Abstract

Abstract is missing.