共 50 条
- [3] Tight Size-Degree Bounds for Sums-of-Squares Proofs [J]. 30TH CONFERENCE ON COMPUTATIONAL COMPLEXITY (CCC 2015), 2015, 33 : 448 - 466
- [5] Tight Size-Degree Bounds for Sums-of-Squares Proofs [J]. COMPUTATIONAL COMPLEXITY, 2017, 26 (04) : 911 - 948
- [6] Tight Size-Degree Bounds for Sums-of-Squares Proofs [J]. computational complexity, 2017, 26 : 911 - 948
- [8] Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling [J]. 34TH COMPUTATIONAL COMPLEXITY CONFERENCE (CCC 2019), 2019, 137
- [9] Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling [J]. computational complexity, 2021, 30
- [10] Size-Degree Trade-Offs for Sums-of-Squares and Positivstellensatz Proofs [J]. 34TH COMPUTATIONAL COMPLEXITY CONFERENCE (CCC 2019), 2019, 137