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

by U Feige, M X Goemans
Venue:2SAT and MAX DICUT. I Proceedings of the Third Israel Symposium on Theo of Comutin Systems