Takao Asano Approximation Algorithms for MAX SAT: Yannakakis vs. Goemans-Williamson. 24-37 1997 ISTCS http://computer.org/proceedings/istcs/8037/80370024abs.htm db/conf/istcs/istcs1997.html#Asano97