Two prover protocols
.879-approximation algorithms for MAX CUT and MAX 2SAT
On complexity as bounded rationality (extended abstract)
Improved non-approximability results