Tuomas Hakoniemi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2020–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | STOC | Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers. | Tuomas Hakoniemi, Nutan Limaye, Iddo Tzameret |
| 2022 | FOCS | Simple Hard Instances for Low-Depth Algebraic Proofs. | Nashlen Govindasamy, Tuomas Hakoniemi, Iddo Tzameret |
| 2021 | LICS | Monomial size vs. Bit-complexity in Sums-of-Squares and Polynomial Calculus. | Tuomas Hakoniemi |
| 2020 | ICALP | Feasible Interpolation for Polynomial Calculus and Sums-Of-Squares. | Tuomas Hakoniemi |