Distributed PCP Theorems for Hardness of Approximation in P | IEEE Conference Publication | IEEE Xplore