Takao Asano David P. Williamson Improved approximation algorithms for MAX SAT. 96-105 2000 SODA http://doi.acm.org/10.1145/338219.338240 db/conf/soda/soda2000.html#AsanoW00