Aproximating the Value of Two Prover Proof Systems, With Applications to MAX 2SAT and MAX DICUT

Uriel Feige, Michel X. Goemans. Aproximating the Value of Two Prover Proof Systems, With Applications to MAX 2SAT and MAX DICUT. In ISTCS. pages 182-189, 1995.

Abstract

Abstract is missing.