Proof verification and hardness of approximation problems | IEEE Conference Publication | IEEE Xplore