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

by Uriel Feige , Michel Goemans
Venue:IN PROCEEDINGS OF THE THIRD ISRAEL SYMPOSIUM ON THEORY OF COMPUTING AND SYSTEMS
Citations:132 - 9 self