×

zbMATH — the first resource for mathematics

On the limits of non-approximability of lattice problems. (English) Zbl 1011.68512
STOC ’98. Proceedings of the 30th annual ACM symposium on theory of computing, Dallas, TX, USA, May 23-26, 1998. New York, NY: ACM, Association for Computing Machinery. 1-9 (1998).

MSC:
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
PDF BibTeX XML Cite