1. Approximation algorithms for MAX SAT: Yannakakis vs. Goemans–Williamson;Asano,1997
2. Approximation algorithms for the maximum satisfiability problem;Asano;Nordic J. Comput.,1996
3. Tight bound on Johnson's algorithm for MAX SAT;Chen;J. Comput. System Sci.,1999
4. Approximating the value of two prover proof systems, with applications to MAX 2SAT and MAX DICUT;Feige,1995
5. .878-approximation algorithms for MAX CUT and MAX 2SAT;Goemans,1994