Proof verification and the hardness of approximation problems
scientific article