×

zbMATH — the first resource for mathematics

Interactive proofs and the hardness of approximating cliques. (English) Zbl 0882.68129

MSC:
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
68W10 Parallel algorithms in computer science
PDF BibTeX XML Cite
Full Text: DOI Link