×

Found 8 Documents (Results 1–8)

100
MathJax

On the complexity of computing short linearly independent vectors and short bases in a lattice. (English) Zbl 1345.11090

Vitter, Jeffrey Scott (ed.) et al., Proceedings of the 31st annual ACM symposium on theory of computing, STOC 1999. Atlanta, GA, USA, May 1–4, 1999. New York, NY: ACM, Association for Computing Machinery (ISBN 1-58113-067-8). 711-720 (1999).
MSC:  11Y16 11H06 68Q17
PDF BibTeX XML Cite
Full Text: DOI

Probabilistic checking of proofs; a new characterization of NP. (English) Zbl 0945.68516

33rd annual symposium on Foundations of computer science (FOCS). Proceedings, Pittsburgh, PA, USA, October 24-27, 1992. Washington, DC: IEEE Computer Society Press, 2-13 (1992).
MSC:  68Q15 68Q10
PDF BibTeX XML Cite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Classification