New Techniques for Probabilistically Checkable Proofs and Inapproximability Results

GPTKB entity