×

zbMATH — the first resource for mathematics

Proof verification and the hardness of approximation problems. (English) Zbl 1065.68570

MSC:
68Q15 Complexity classes (hierarchies, relations among complexity classes, etc.)
03B35 Mechanization of proofs and logical operations
03D15 Complexity of computation (including implicit computational complexity)
68Q25 Analysis of algorithms and problem complexity
PDF BibTeX XML Cite
Full Text: DOI