Approximation Algorithms for MAX 4-SAT and Rounding Procedures for Semidefinite Programs.

Eran Halperin, Uri Zwick

Browse the full IPCO paper archive.