You are about to access our book library "Probabilistic Checking of Proofs and Hardness of Approximation Problems full version" .