Joseph Cheriyan, William H. Cunningham, Levent Tunçel, Yaoguang Wang. A linear programming and rounding approach to max 2-sat. In David S. Johnson, Michael A. Trick, editors, Cliques, Coloring, and Satisfiability, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, October 11-13, 1993. Volume 26 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 395-414, DIMACS/AMS, 1993.
Abstract is missing.