Eran Halperin Uri Zwick Approximation Algorithms for MAX 4-SAT and Rounding Procedures for Semidefinite Programs. 184-211 2001 40 J. Algorithms 2 db/journals/jal/jal40.html#HalperinZ01a