Improved approximation algorithms for MAX SAT.

Publication
Journal of Algorithms 42:173-202, 2002.