1
Lectures on Proof Verification and Approximation Algorithms [E-Book] /