文章基本信息
- 标题：Tight Size-Degree Bounds for Sums-of-Squares Proofs
- 作者：Massimo Lauria ; Jakob Nordström
- 期刊名称：Electronic Colloquium on Computational Complexity
- 印刷版ISSN：1433-8092
- 出版年度：2015
- 卷号：2015
- 出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
Loading...
