Takao Asano David P. Williamson Improved Approximation Algorithms for MAX SAT. 173-202 2002 42 J. Algorithms 1 http://dx.doi.org/10.1006/jagm.2001.1202 db/journals/jal/jal42.html#AsanoW02