Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, April 21-25, 1997)
Ernst W Mayr, Hans Jürgen Prömel, Angelika Steger · 1998
From the Publisher: This is a self-contained presentation of the enormous recent progress on the interplay between and applications of the theory of probabilistically checkable proofs and approximation algorithms.