1 – 4 of 4
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Quantum Automating TC0-Frege Is LWE-Hard
- Contribution to journal › Article
- 2024
-
Mark
KRW Composition Theorems via Lifting
- Contribution to journal › Article
- 2021
-
Mark
Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling
- Contribution to journal › Article
- 2017
-
Mark
Tight Size-Degree Bounds for Sums-of-Squares Proofs
- Contribution to journal › Article
