Asano, Takao; Williamson, David P. Improved approximation algorithms for MAX SAT. (English) Zbl 0990.68078 J. Algorithms 42, No. 1, 173-202 (2002). MSC: 68Q25 68W25 PDFBibTeX XMLCite \textit{T. Asano} and \textit{D. P. Williamson}, J. Algorithms 42, No. 1, 173--202 (2002; Zbl 0990.68078) Full Text: DOI
Niedermeier, Rolf; Rossmanith, Peter New upper bounds for maximum satisfiability. (English) Zbl 0959.68049 J. Algorithms 36, No. 1, 63-88 (2000). MSC: 68Q25 03D15 PDFBibTeX XMLCite \textit{R. Niedermeier} and \textit{P. Rossmanith}, J. Algorithms 36, No. 1, 63--88 (2000; Zbl 0959.68049) Full Text: DOI Link
Yannakakis, Mihalis On the approximation of maximum satisfiability. (English) Zbl 0820.68056 J. Algorithms 17, No. 3, 475-502 (1994). MSC: 68Q25 90C60 PDFBibTeX XMLCite \textit{M. Yannakakis}, J. Algorithms 17, No. 3, 475--502 (1994; Zbl 0820.68056) Full Text: DOI
Lieberherr, Karl J. Algorithmic extremal problems in combinatorial optimization. (English) Zbl 0493.68073 J. Algorithms 3, 225-244 (1982). MSC: 68R99 68Q25 68W99 PDFBibTeX XMLCite \textit{K. J. Lieberherr}, J. Algorithms 3, 225--244 (1982; Zbl 0493.68073) Full Text: DOI