Probabilistically checkable proofs and their consequences for approximation algorithms
scientific article; zbMATH DE number 722490