Approximating the value of two prover proof systems, with application to (1995)

by U Feige, M Goemans
Venue:Max-2SAT and Max-DICUT. Proceedings of the Third Israel Symposium on Theory and Computing Systems, IEEE